-"ssh://magabey" URI userid. Alice signs magabey's gpg key and
-publishes her signature. Alice then creates a user "bob" on magabey,
-and puts Bob's userid in the auth_user_ids file for user bob on
-magabey. tamarin triggers on magabey, which triggers rhesus, which
-takes all userids in bob's auth_user_ids file, look on a keyserver to
-find the public keys for each user, converts the gpg public keys into
-ssh public keys if the key validity is acceptable, and finally insert
-those keys into an authorized_keys file for bob.
-
-Bob now adds the "ssh://magabey" userid to the auth_host_ids file in
-his account on his localhost. Bob now goes to connect to bob@magabey.
-Bob's ssh client, which is monkeysphere enabled, triggers marmoset,
-which triggers rhesus on Bob's computer, which takes all server
-userids in his auth_host_ids file, looks on a keyserver to find the
-public key for each server (based on the server's URI), converts the
-gpg public keys into ssh public keys if the key validity is
-acceptable, and finally insert those keys into Bob's known_hosts file.
+userid of "ssh://mangabey.example.org". Alice signs mangabey's gpg
+key and publishes this signature as a certification. Alice then
+creates a user "bob" on mangabey, and puts Bob's userid in the
+auth_user_ids file for user bob on magabey. tamarin triggers on
+mangabey, which invokes rhesus. rhesus takes all userids in bob's
+auth_user_ids file, looks on a keyserver to find the public keys for
+each user, converts the gpg public keys into ssh public keys if the
+key validity is acceptable, and finally inserts those keys into an
+authorized_keys file for bob.
+
+Bob now adds the "ssh://mangabey.example.org" userid to the
+auth_host_ids file in his account on his localhost. Bob now goes to
+connect to bob@mangabey.example.org. Bob's monkeysphere-enabled ssh
+client triggers marmoset, which invokes rhesus on Bob's computer.
+rhesus takes all server userids in his auth_host_ids file, looks on a
+keyserver to find the public key for each server (based on the
+server's URI), converts the gpg public keys into ssh public keys if
+the key validity is acceptable, and finally insert those keys into
+Bob's known_hosts file.