Clean up .ssh/config quite a bit