-If you have lost or forgotten your LDAP password (and by extension, your
-machine login password) you can have it reset by sending a PGP signed
-message to the <a href="doc-mail.html">mail gateway</a>:
+If you have lost or forgotten your LDAP password, you can have it reset
+by sending a PGP signed message to the <a href="doc-mail.html">mail
+gateway</a>: