RFC: declare the HTML namespace in the file format

I think I may, alas, have found one: