Hi Jeremy, Thanks for your report.
> Since GNOME 3.22, GNOME Shell allows loading extensions even if they > have not been specifically marked as compatible in their > metadata.json. I think that last time I checked that the issue was that gnome-tweak-tool didn't allow the extension to be enabled. I'll check and get back to you asap. Joseph
