>>1009910
I just duckduckwent it and found it should be mushroom, onions, tomato, and spices. If we skip the first two ingredients, what remains is basically ketchup.