I think it was you who told me that it only works if your key is in ~/.ssh/id_rsa and that only the command line ssh recognizes the config file. I still haven’t tested this. I wasn’t able to get it to work with ssh-agent the last time I tried it, but that was a while ago, so I hope to explore all of this again soon.