Ketchup--html

I have been neglecting this recently, so here is a dump of everything,
which is a really poor tag for this push.