Clicking the little question mark takes you to this page which will give you information about how to play the .ogg file once you've downloaded it. I ended up downloading the plug-in for Windows Media Player because newly-downloaded Winamp wouldn't work, damn that.