That makes sense. I wasn't sure where to go after that because it has always just worked for me. You can also embed your username into the config, FWIW, making it just "/ssh:vm3:".