¼ cup olive oil 1 small fennel bulb, trimmed, cored and small-diced 1 small yellow onion, small-diced 2 teaspoons minced fresh rosemary or thyme 5 garlic cloves, minced ¼ teaspoon red-pepper flakes, plus more to taste 1 large or 2 small…