Comment 6 for bug 1713020

If anyone really hates having no option to hide the dock entirely, a work around is to do the following song and dance:

1. Install the dash to dock extension: https://extensions.gnome.org/extension/307/dash-to-dock/
2. Install the tweak tool (sudo apt-get install gnome-tweak-tool)
3. open the tweak tool and navigate to the extensions section
4. Activate dash to dock (flip switch to "ON")
5. Edit settings by clicking the little gear next to the switch
6. Choose position on screen: left
7. Turn "intelligent auto-hide" ON
8. Click the gear button for settings
9. check the "enable push to show" tickbox
10. Set pressure to 300 or higher so you don't accidentally trip it by mistake

Then the dock acts mostly like vanilla gnome again, only coming up when you hit the Super key, or go to the Actions menu.

All this configuration nightmare could be prevented by developers simply adding an "off" option under the new Ubuntu Dock settings for display "right, left, bottom, off".

Thanks for the work everyone.
-C