Show HN: DockAutoHide – auto-hide the macOS Dock only when a window overlaps it