2025-10-21: release 1.3.11a (Android only)

* Another workaround for the buggy vibrator in Android 16. This one is a new
option, "use older haptic feedback logic," for phones like the Pixel 10 Pro,
where the pre-1.3.10f haptic feedback logic worked, but the new logic
introduced in 1.3.10f does not.

2025-10-15: release 1.3.11

* Fixed crash in EQN->R/S when EQNS does not yet exist.
* When a new program was created by inserting END, the new program could end up
being locked initially. Fixed.
* Linux version: Fixed beeper when running under Wayland.
* Linux version: Replaced built-in XPM icons with PNG ones, for compatibility
with certain recent Linux distros.
* Windows and MacOS versions: Made the links in the About box more obviously
clickable.