ssh: Update configuration options for computers at IBR (Work).