Maintenance release: version bump for the F-Droid listing. No functional changes.
