And the Ultraspec is generated from the same tex sources as the PDFs in TFA. The HyperSpec is copyrighted with a license that only permits distribution if not modified, so it cannot be used as a basis for an improved version.