Good idea! Most browser see a .xml file as something they have to display instead of download. And that gives all kind of support questions as we have seen in the thread. Small suggestion, use .zip instead of .7z. Because the last is not as common as .zip or .rar I think. Personally I use 7zip because it handles all, but .zip is default available from Windows 7 onwards...Edit: @pornpanda
maybe we can add the zipped mapping.xml to the OP, so every one who struggle with the xml file can just use this one?!