Removing the Dock on Ubuntu

I finally got around to figuring out how to remove the side dock on Ubuntu. In case the link where I found it rots away (or is drowned out in the search index) and I want to revert I'll note it down here too.

That means I've just renamed a file so that the Gnome Shell doesn't find it. Restoring the dock is just a matter of removing the .bak suffix.

-- CC0 ew0k, 2021-09-15