Instant Pot Wild Mushroom Farrotto

Name: Instant Pot Wild Mushroom Farrotto
Ingredients: 1½ cups whole farro; 3 tablespoons extra-virgin olive oil , divided, plus extra for drizzling; 12 ounces cremini or white mushrooms , trimmed and sliced thin; ½ onion, chopped fine; ½ teaspoon table salt; ¼ teaspoon pepper; 1 garlic clove , minced; ¼ ounce dried porcini mushrooms , rinsed and chopped fine; 2 teaspoons minced fresh thyme or ½ teaspoon dried; ¼ cup dry white wine; 2½ cups chicken or vegetable broth , plus extra as needed; 2 ounces Parmesan cheese , grated (1 cup), plus extra for serving; 2 teaspoons lemon juice; ½ cup chopped fresh parsley