We’ve made this several times but it’s been long enough ago that I forgot just how delicious it is. I hit it with the stick blender to get a better chop on the mushrooms. It has regular paprika in it, the red garnish is Aleppo pepper. There is a lot of chopped parsley in there, cooked with the mushrooms and onions, plus the garnish