Hello, the following tiny patch fixes wrong file names in nxml-mode docs.