getting rid of the Dock in MacOS

I like many things about MacOS - it's a fine desktop unix with an OK package manager and you can configure it to largely get the fuck out of the way and let just me run full or half screen apps with the keyboard. Well, I say apps, but of course I actually just mean an editor, a terminal and a browser. One thing that has always annoyed me, though, was the Dock. It's massive, and blingey, and of no value. I don't ever want to start an app by clicking, or minimise an app, or see my Downloads folder rendered as a modern art project rueing the futility of attempting to impose order on the world. Fortunately someone found the incantation:

# hide it unless you hover over it ...
$ defaults write com.apple.dock autohide -bool true && killall Dock
# for >= 1000 seconds
$ defaults write com.apple.dock autohide-delay -float 1000 && killall Dock
# ffs
$ defaults write com.apple.dock no-bouncing -bool TRUE && killall Dock

then, should some tragedy befall me such that I ever need to see it again, cmd+opt+d to explicitly toggle.