Uninstalling all extensions did not seem to make a difference; the gnome-shell process is back up to 10G RSS after an hour.
Uninstalling all extensions did not seem to make a difference; the gnome-shell process is back up to 10G RSS after an hour.