ParentFull threadcharcircuit·There is a popular condiment called ketchup. There is a clear pun between Ketchup and KetchUp.View on HN