Ketchup labels always seem to say “Tomato Ketchup”. Isn’t that redundant? Or did there used to be other kinds of ketchup?
It’s just the sort of mindless thing I choose to dwell on, God help me…
There were (and are) various sauces that are called ketchup. I’ve seen recipes for mushroom ketchup, for example, but I’ve never seen a commercially produced one.
Check out this thread: Mushroom Catsup.
I have also seen recipies for walnut catsup.
I can’t remember exactly what it was but I think my Great Aunt gave me some corn ketchup or something odd like that.
As our friend the OED says about “ketchup” (the preferred spelling according to those people)