[hactually]

The thing with this is it's patching mutter, the window manager. Not shell which focuses on the extension stuff.

This is the equivalent of patching Quartz on MacOS to change behaviour.

[smoldesu]

That doesn't really matter, my point still stands: GNOME is responsible for developing Mutter, if it doesn't have an extension API then it's still their fault.