Comment 9 for bug 1731318

> I have commented again to see if there is still interest in the patch upstream.

The right way to contribute a patch to GNOME nowadays is to make a pull request on gitlab, a comment on a bug is likely to not get in any reviewer queue and would require extra maintainer to be merged, please be a good upstream citizen and do a proper PR for the change