Board Thread:Questions and Answers/@comment-25998565-20150112020928/@comment-805419-20150113175737

Downloads are working fine. Just make sure you find the direct link to the ogg file. It willl probably be called "latest" with no file extension ('.mp3','.ogg',etc.). As long as your file is >1MB and not a few dozen KB you probably have the right one.

Changing the extension of a file does not change its format in the same way changing your name does not change your ethnicity. The file extension is just a quick hint to identify a file's format, but it's clearly not failproof considering how easily it is changed. A more reliable identifier for file format is a file header , typically appended within the file.

Most programs will look at the file extension and try to open it as long as the extension is correct. In this case you might be able to trick Windows Media Player into opening an ogg file, but you can't trick it into knowing how to play one. It's like you've successfully masqueraded as a pianist to get on stage without knowing how to play the piano. If you use a more robust program like VLC or MPC then the file will still play because they know it's actually an ogg file and they can play those. Here you've paraded as another pianist but you can actually play the piano. You aren't the same pianist but music comes out nonetheless. Similarly, changing an image's extension from '.jpg' to '.png' does not turn it into a png, despite the fact all your programs can still open it. They just happen to be able to read both file formats and it's the inside that matters. If changing a file's format was as simple as changing its name then there would be little reason to keep or distinguish both formats.

tl;dr: to download listen to Ragnarok. to play listen to MPA. or get a better media player