Remove MP3 files (not currently supported in Firefox or Opera); added threetone-alert.wav to replace gong.mp3 for mention sounds; updated music_player to remove references to unused/obsolete MP3s.