There has never ever been a good "ketchup" that's made by a chef in their restaurant. Call it something else if you want to make it but it's not ketchup.
Also any restaurant that serves food that normally goes with ketchup, yet doesn't serve ketchup for hipster reasons can get bent. I love fox and pearl but I think they do this. Silly.
I don't even LIKE ketchup and have these strong opinions.