> The Gnome maintainers refuse to add it for whatever reason.

Because the issue would be solved, "this is why we can't have nice things"

well, they rewrote everything to gtk4, so that would need to be updated

Gnome is notoriously terrible for not accepting patches outside of redhat employees. I tried adding a patch to gnome in the 00s and the number of hoops they expected me to jump through along with the tone made me never install their de again.