It's weird the 'Hide dock icon' option not always hides the dock. Would be nice to be able to permanently hide it.