From: Mark Linimon <>
Date: Sun, 01 Oct 2023 08:17:52 UTC
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.