Hide Top Bar in Workspaces

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)