Quitting presentation mode would restore the user's original setting. If the user was already auto-hiding the dock, then the option is grayed out.