Various random updates, mostly HTML.