removed header_support.html.snip, adapted all support/devel pages to use header.html.snip