Playback speed request

Not a bug; a request for functionality.

Mostly I use this app to learn music, because somehow it is also one of the few ad-free, local-running apps that has the Repeat functionality.

Hopefully that gives some context for what is otherwise a somewhat odd request: If it is not too hard to implement, would a play speed (tempo) modifier be possible?

Ideally separate from pitch (frequency) modification.