Caramelizing onions is when you draw out the sugar in onions cooking them over low heat very slowly in oil. Although caramelized onions would work well in this recipe, it is not necessary to make sure they are caramelized.  They still need to be cooked 15-20 minutes in the instant pot, but will get their brown color and flavor from the herbs and beef stock.