Remove unused PHP header
Minify using @RubenVerborgh's HTML5small