We could put this in a separate file, since it doesn't have much to do with the other stuff in music.js.