Mmm, made ribs in the Instant Pot yet again (this time using Korean BBQ sauce). Recipe is great because it works with any sauce.

Link to Recipe here