Update to 7.20 loses keyboard shortcuts

Ugh. Please fix this for the next release.

There’s an intended reset of preferences when upgrading from .10 to .20, as several new parameters have appeared, as well as new default shortcuts.