Delete some cruft from .gitignore.
Delete unused element from AndroidManifest.xml
In some Android versions, the Wi-Fi SSID is enclosed in quotes.
Make some data members static.
Shorten the menu labels.

"Check Downloads" was a little too long for some fonts and would
display as "Check Downloa...".
Move Podcasts dir to ExternalStorageDirectory.

Apparently, writing to /mnt/extSdCard is no longer kosher.
Don't call restore() when the MENU key is pressed.
Reduce jump-ahead barrier from 5s to 2s.

Two seconds is enough.
Cancel notifications.

When starting download and deleting.
Tweak download notification.
Rewind only current and previous tracks.

Any tracks after the current are left at their current position.
Avoid accidentally rewinding tracks on restore.
Tweak log message about updating track duration.

And update of 1ms is common (probably a rounding error
somewhere).  >1 would be unusual.
Re-enable inter-track beep.

It seems to work correctly now in the latest Android.
Workaround for an Android MediaPlayer bug.

If Android chooses to switch to Bluetooth speakers while we're
playing a track, the playback starts playing at 10x speed until
we press pause then play.  The hack is to notice when we switch
to Bluetooth speakers and then automatically pause and resume.
After finishing a track, play the first unfinished track.

Previously, we would play the next track.
Don't call updateActivity after save.
Delete unneeded import.
Refactor sleepMs function.
Changes to media scanner invocations.

Was trying to get the MS-Windows MTP client to notice when we
changed the Podcast dir contents.  These changes don't seem to
get the results hoped for...