Revert "user-theme: Temporarily work around a gnome-shell regression"

The issue has been fixed in gnome-shell master, so we can revert the
workaround.