dd8a53d5e0
This reverts commit 44e02003adf8d47c104a9288b3122868786a6157. The change: "GNOME Shell Extension Preferences" to "GNOME Shell Extensions Preferences" was incorrect.