Many files meant to be used as includes had somehow been transformed
into standalone HTML files.  The extra header and footer boilerplate
has been removed, and single-quoted attributes have been turned into
proper double-quoted attributes.