Regarding dearboy's feature request on extensions.gnome.org.