Ketchup fans, we feel you. There’s indeed a time and a place for that classic condiments. But...