Chinese five-spice peanuts, pressure cooker style

We devised this recipe for shelled raw peanuts as follows: first, place 2 cups raw shelled red-skinned peanuts in the bottom of a small (8-quart) pressure cooker, add 4 cups water, 1 small cinnamon stick, 1 whole star anise, ¼ tsp fennel seeds, 1/8 tsp Sichuan peppercorns, 1/16 tsp cloves (we used ground cloves), and 1/8 tsp salt. We locked the pressure cooker lid and heated to high pressure. We cooked on high pressure for 15 mins, then removed from the burner and let the pressure cooker cool on natural release. We then drained the peanuts in a colander and rinsed with cold water. We removed the aromatics and seasoned with salt to taste (about 1/8 tsp). (Jan. 2019)

Note: We loosely followed these pressure cooker video instructions for shelled peanuts: https://m.youtube.com/watch?v=L6eTqx_xASE We also based the five-spice ingredients based on this: https://www.feastingathome.com/chinese-five-spice/