This one is used to generate HTML id attributes in wikitext.