Garlic, ginger, and rosemary make this easy pork tenderloin sing! I really ought to make pork tenderloin more often. It’s easy, inexpensive, requires little work, and feeds a crowd. What’s not to love? Whisk together this quick marinade, pour it over the pork, and let it hang out in the fridge for a couple of…