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