Original doc builder generated docs including the tagged version, and had some other things. While we probably shouldn't incorporate the historical docs, we can at least possibly make the title nicer.
See build-docs script in the project root for details