Instant Pot Mushroom Soup We Can't Get Enough Of

olive oil

butter

large brown onion, diced

salt

dried porcini mushrooms

/ 700 g Desiree potatoes (or other white potatoes), peeled and diced

/ 700 g Swiss brown mushrooms, halved or left whole if they are small (you can reserve 5-6 mushrooms to slice and pan-fry to use as a garnish on top of the soup)

celery stick, sliced

sprigs of fresh thyme (dried is also ok)

bay leaves

soy sauce or Tamari (wheat-free soy sauce)

large cloves of garlic, roughly diced

cube of vegetable stock

cube of onion stock or 2 tablespoons onion soup mix

water

ground black pepper

garlic, diced

double cream or thickened cream

Zest and juice of ½ lemon