KB/RLT are authors of the blueprint

Author: kbuzzard

blueprint/src/web.tex

@@ -18,7 +18,7 @@
 \github{https://github.com/ImperialCollegeLondon/FLT/}
 \dochome{https://ImperialCollegeLondon.github.io/FLT/docs}
 
-\title{A Lean formalisation of Fermat's Last Theorem}
+\title{A Blueprint for Fermat's Last Theorem}
 \author{Kevin Buzzard, Richard Taylor}
 
 \begin{document}