[Wikitech-l] adding HTML headers from an extension