#
#
# patch "monotone.texi"
#  from [d428161e6f07931dba1dbef90481d39015416620]
#    to [1110f1b77c6209d8f6492adfa27df3197f6916b0]
#
============================================================
--- monotone.texi	d428161e6f07931dba1dbef90481d39015416620
+++ monotone.texi	1110f1b77c6209d8f6492adfa27df3197f6916b0
@@ -5181,17 +5181,17 @@ @section Key and Cert Trust
 @smallexample
 @group
 $ mtn ssh_agent_add
-enter passphrase for key ID address@hidden:
+enter passphrase for key ID [user@@example.com]:
 $ mtn ci -m"Changed foo to bar"
-$ mtn push -k address@hidden
+$ mtn push -k user@@example.com
 @end group
 @end smallexample
 
 @smallexample
 @group
 $ mtn ci -m"Changed foo to bar"
-enter passphrase for key ID address@hidden:
-$ mtn push -k address@hidden
+enter passphrase for key ID [user@@example.com]:
+$ mtn push -k user@@example.com
 @end group
 @end smallexample
 
@@ -5219,7 +5219,7 @@ @section Key and Cert Trust
 Enter passphrase for /home/user/.ssh/id_monotone:
 Identity added: /home/user/.ssh/id_monotone (/home/user/.ssh/id_monotone)
 $ mtn ci -m"Changed foo to bar"
-$ mtn push -k address@hidden
+$ mtn push -k user@@example.com
 @end group
 @end smallexample