Pickled Ox, Charred Onion Ketchup