Hacker News new | past | comments | ask | show | jobs | submit
It's not even a pun! The original name was barely a pun at all... this just the original name with any semblance of pun removed! Agh!
There is a popular condiment called ketchup. There is a clear pun between Ketchup and KetchUp.
loading story #50424223
loading story #50423073