1/4 tsp crushed red pepper flakes (or to taste)

Pomodori Gratinati