"gnome-shell memory" returns pages of forum posts and bugzilla tickets of people sharing the same issue; and most are left unsolved. But that doesn't excuse me from contributing my specs and trying to help the community. Thanks for the suggestion.