5.4.7-xml

Identical release to the official 5.4.7 release but with added support for xml highlighting.

This (added support for xml highlighting) is the only change compared to the original repository:
4ef59be