Users must not change the default filename or they will have to create a
suitable .ssh/config which is out-of-scope here.