In Europe it’s pretty common to have non-Heinz ketchup, of which there are many[0] kinds[1]. Even in America, where Heinz is super popular, I can remember eating other[2] ketchups as far back as the 1980’s. And nowadays even my supermarket has fancy ketchups here in rural California, though that may be a CA thing.

0: https://hungarianmeatmarket.com/product/univer-ketchup/

1: https://www.google.com/search?q=dutch+catsup&ie=UTF-8&oe=UTF...

2: https://www.delmonte.com/products/tomatoes/condiments/ketchu...