add HTML5 header, configurable in space preferences