Use same header in translators and documentation.