bjoern's feedback #2: soften the "XML documents should use the .xml extension" language