Clarify "hide dock icon", prevent full screen when dock icon hidden (fixes #152, fixes #153)