That's cool, but please also consider contributing a permanent fix to mutter so we don't need extensions.
That's cool, but please also consider contributing a permanent fix to mutter so we don't need extensions.