>>107096986
It's basically the only way to maintain it properly I imagine (as long as you make sure that the RPM tracks GNOME properly so it's a dependency conflict to update GNOME without the extension also being updated).

I think GNOME used to disable all extensions after an update anyway though (not a great UX since you notice immediately all the missing features and functionality but at least it won't crash).