Prepare for GTK4 migration
This is not urgent, but at some point we will need to upgrade to GTK4. There are some preparatory steps which could be done earlier, to make the switch easy when the time comes. They are explained here: https://developer.gnome.org/gtk4/4.0/gtk-migrating-3-to-4.html