Britannica says ketchup used to mean “a puree based on mushrooms, unripe walnuts, or oysters” that was primarily used in ...