@ -2042,7 +2042,7 @@ Alternatively, use a public key server (it will update the key if already on the
```console
$ gpg --send-key $KEYID
```
and import the newly updated key on any computer where you wish to use it (it will update the key if previously imported):