This is a reminder about how to enable ssh from a Windows host to a Linux virtual machine running in VirtualBox. See this unix.stackexchange answer which got it working for me.