TIL: Ketchup originated from China | Hacker News Reader