Somewhat of a nitpick, but I'd put the suggestion of `vagrant ssh` first, since that's presumably recommended over manual SSH for the majority of users.