Ingredients: 1 tablespoon olive oil 1 small white onion, finely diced 1 large green bell pepper, diced (or poblano or Anaheim pepper, if desired) 1 (15-ounce) can diced tomatoes, with their juices 1 tablespoon butter 1 teaspoon Aleppo pepper (or 1/2 teaspoon smoked paprika plus a pinch of…