better sanitizing of headers. Can be used with e.g. pandoc