I did mention that I tried it. The issue is less with the extension and more with dealing with Gnome. I think Gnome has sane defaults and works pretty well for a lot of people but the problem is that the second you want to change something it fights you and Gnome has gotten increasingly hostile towards user customization with each release. I think another issue might have been with setting keybinds with hyper and meh is problematic but it's been a while since I've used Gnome.