Merge pull request #1104 from HadrienRenaud/aslreference-fix-disclaimer

[asl][reference] Fix disclaimer

asllib/doc/disclaimer.tex

@@ -17,6 +17,7 @@ \chapter{Disclaimer}
 premature to base any production tool development on this material.
 
 However, any feedback, question, query and feature request would be most
-welcome; those can be sent to Arm’s Architecture Formal Team Lead Jade Alglave
-\texttt{([email protected])} or by raising issues or PRs to the herdtools7
-github repository.
+welcome; those can be sent to Arm’s Architecture Formal Team
+(\href{mailto:[email protected]}{\tt [email protected]})
+or by raising issues or PRs to the
+\href{https://github.com/herd/herdtools7}{herdtools7 github repository}.