Wouldn't vinegar or a similarly acidic substance work as well? I'm assuming it's the acidity of the ketchup doing the work here of course...
You are correct, but ketchup is nice because it is acidic - but not too acidic, it sticks to the surface, it's easy to see where it is and when it's cleaned off, most people have it in their home and it's cheap.