I should add also, that I’m of course aware of the “Automatically Show/Hide the Dock” from the Dock preferences, but I’m looking for a more automatic way, as I don’t fancy dragging the mouse to screen bottom; waiting for a short delay; then selecting a Dock item kind of method.