No matches were found for subject:"\[Bug 1872968\] Re\: dash to dock settings fail because gnome\-shell\-extension\-prefs is not installed, but even installing doesn't fix it."