No matches were found for subject:"\[Bug 1915135\] Re\: Gnome shell launcher is popping many pages dots after exiting app folder collections, Ubuntu 20.04"