lacking a source for banana leaves, I won’t be trying this recipe as is,
but I did giggle loudly when I read this in the blog post
“…What I didn’t realize was that the “cochinita pibil” served in the restaurants I’d been visiting in the United States had as much to do with actual cochinita pibil as Crock-Pot pulled pork has to do with true Southern-style barbecue. …”
Cochinita Pibil (Yucatán-Style Barbecued Pork) Recipe
https://www.seriouseats.com/cochinita-pibil-yucatan-barbecue-mexican-smoked-pork-recipe
Hidden in the recipe for the Marinade is the suggestion to sub a combo of lime, orange and grapefruit juice for the Seville Orange. Typically a rather bitter orange flavor, maybe a way to use up that way to bitter Orange Marmalade in the fridge – perhaps thinned out considerably.