Instapot Beef Short Ribs

I went with this recipe as a guide and they turned out pretty well despite not marinating for the full time. I used beef stock and a cheap red wine (Riunite Lambrusco). I only had four ribs so I adjusted the ingredient amounts to match. Many of the recipes I skimmed to get a feel for the dish called for 45 minutes at pressure so that’s how I went. The mashed potatoes are Yukon gold with garlic.