Fix Debian bug #866716: limit identifiers to pure ascii chars because it can fails with latin1 chars too.
Added tag fix_debian_866716_2 for changeset 3d7e13063c52
Fix Debian bug #866716: encode XML identifiers to have valid latex labels.
Added tag fix_debian_866716 for changeset 9face834e46b
Fix debian bug #863527: remove active char for babel pt.
Fix bug #104 (also Debian bug #862332): apply the Raphael Hertzog patch.
Yes, you're right! I've reverted the XSL file and applied your patch. I guess Andreas can package a debian release with this.
conditional import of DebianInstaller