For later reading: https://macos-defaults.com/. What brought me there was https://macos-defaults.com/dock/autohide-delay.html