Modifying gnome-shell’s javascript code requires jumping through some hoops or rebuilding the package.
That is, an extension is probably the easiest option. (You can use gnome-extensions create --interactive
to generate the boilerplate, so you only have to fill in the enable()
and disable()
methods)