Whoaaa!

1 minute 25 seconds is now 18 seconds!

But something else is wrong; the player is forgetting some of its
settings, like info mode and current playlist. Maybe more, I'd need
to check.

Pim