Ah. I thought Ctrl-C would kill the player app with extreme prejudice, and (for instance) not give it a chance to write its current playlist position to flash. I stand corrected.