Update README.adoc

Author: hyperpolymath

README.adoc

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-= nextgen-typing — The Hyperpolymath Type Theory Pipeline
+= nextgen-typing — Type Theory Pipeline
 image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=openssourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/nextgen-typing"]
 
 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>