3 ms·

You can ask the gnome team if they'd accept a patch. They might be of the idea that patching stuff out is bad.