Remove the email address from the footer of the HTML manual, and