Documented sound-player.js

And some other small fixes in the documented files.