I *know* the player doesn't auto-pause, however, which seems to be an oversight.

Are you sure? ISTR that the Player Configuration dialog in emplode lists this as one of the options. Are you saying that it's broken? Or is it missing?