Fellow Rockbox hackers, I'd like to commit FS#11931, which generalizes the rewind-a-little- on-headphone-unplug feature to all kinds of pause, not just headphone unplug. This will lead to one config option being renamed and moved ("Duration to Rewind" in the pause-phones menu to "Rewind on Pause" in the playback settings).
I'm bringing this up here because I find it hard to get a quorum of experienced Rockbox hackers on IRC to assert the harmlessness of this change, which I'd welcome given my relative juniority in this project. :) I'd also welcome any concerns developers might have. If you're interested in this feature in one way or another, may I ask you to subscribe to (or "watch") FS#11931? That's where I'll post patch updates or discussion summaries if necessary. sideral