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