Translations:Manual:PAGENAMEE encoding/12/en

Anchor-encoding is bit more tricky: most colons are kept, except when they are at the leading positions, even though a section heading like this one could start by a colon).