Instant Pot Beef Pho

Name: Instant Pot Beef Pho
Ingredients: 3 star anise pods; 1 3 cinnamon stick; 4 whole cloves; 2 Tbsp. vegetable oil, plus more for noodles; 2 medium onions, peeled, halved; 1 2 piece ginger, scrubbed, sliced lengthwise ¼ thick; 3 lb. 2–3 sections mixed soup beef bones (oxtail, marrow, knuckles, and/or neck bone), rinsed under cold running water to remove blood and excess bits; 1 lb. beef brisket or chuck, cut into 2 pieces; 2 Tbsp. (or more) fish sauce; ½ oz. yellow rock sugar or 3 tsp. granulated sugar; 2½ tsp. Diamond Crystal or 1¼ tsp. Morton kosher salt; plus more (optional); 10 oz. dried thin Banh Pho rice noodles; 8 oz. beef eye of round, sirloin steak, London broil, or tri-tip steak; Rinsed thinly sliced onion, thinly sliced scallions, chopped cilantro, Thai basil leaves, mint leaves, mung bean sprouts, sliced Thai or serrano chiles, lime wedges, Sriracha, and/or hoisin sauce (for serving; optional); Freshly ground black pepper