* Default shortcuts for saving bookmarks have been changed to Alt-NUM, where
NUM is the number of the bookmark. (They were previously Shift-F1, etc.)
-* This allows Shift-F3 to be used for word-find-backwards (i.e., find previous)
- on Linux and Windows.
+* Shift-F3 can be used for word-find-backwards (i.e., find previous) on Linux
+ and Windows.
* The shortcut to use the selection for a find on macOS is now Cmd-E, as is the
Apple standard. The shortcut for find the next occurrence of the current