Various HTML backend cleanups.