Rename some cookies, streamline HTML, etc.