FWIW this was done very much to scratch the itch of the official documentation (at
https://eigen.tuxfamily.org/dox/) being unavailable for some reason or the other far too often. Most recently noted here:
https://www.tuxfamily.org/en/news/2023070900