Instant Pot Risotto

Name: Instant Pot Risotto
Ingredients: 2 tablespoons extra-virgin olive oil; 1 medium yellow onion, diced; 3 cloves garlic, minced; 1/2 cup dry white wine (like Sauvignon Blanc); 2 cups short-grained white rice (like Arborio); 1 teaspoon kosher salt, or to taste; 5 cups low-sodium chicken or vegetable broth; 5 cups packed baby spinach; 1/2 cup freshly grated Parmesan cheese, plus more for serving; 1 tablespoon salted butter; 2 teaspoons freshly squeezed lemon juice (about 1/2 lemon); 1/2 teaspoon finely grated lemon zest