Documentation.md

@@ -72,7 +72,7 @@ Quick summary, if you just need a reminder:
 | ----------- | ----------- |
 | `ssh-keygen -t ed25519 -C "<YOUR NAME>"` | generate private + public key pair |
 | `cat ~/.ssh/id_ed25519.pub`              | print content of public key file; copy-paste and send to hpc-mgr@uni-koeln.de |
-| Procedure for circumventing passphrase at SSH login (optional): |
+| How to bypass the passphrase during SSH login (optional): |
 | `eval "$(ssh-agent -s)"`        | set environment variables of the SSH agent |
 | `ssh-add ~/.ssh/id_ed25519`     | provide private key identity to agent |
 | `ssh-add -l`                    | list managed identities (should show at least one entry) |