Speed up ssh access by turning off DNS checking

Closes #439
And that'll have to be `-ri` not `-ir`.