
Now that console.debug() makes it easy to log message with DEBUG priority, we can be a lot more generous with logging without spamming logs (by default). Those turned out useful in figuring out the issue in the next commit, so let's keep them. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2413>