From: Sergio Carlavilla <>
Date: Sun, 01 Oct 2023 10:34:08 UTC
On Sun, 1 Oct 2023 at 10:18, Mark Linimon <> wrote:
> fwiw this is another area on the website (like some of the antique stuff in the FAQ) that is only in the doc build because 20 years ago that was the only way we could do it.
> IMVHO this all ought to be in the wiki these days.
> mcl

Maybe this is something we can improve for the new design :)