[rwth-security] SSH is the new GPG