A quick way to manage `.ssh/config`