Deleted a bunch of commented-out old HTML.