The source project of this merge request has been removed.
help-overlay: Change shortcut of Preferences
Change the preferences shortcut to comply GNOME HIG. Also add the preferences shortcut to the help-overlay.
More information: https://developer.gnome.org/hig/reference/keyboard.html