> Do you mean to put each into its own Git repo, complete with, where
> available, its old web site?

Yes. Perhaps a separate repo for the website - we should agree on some
convention.

I started a https://gitea.scheme.org/conservatory organization for the
repos but if people don't want to use Gitea, we can use some other host.
(Or mix several.) In any case, I'd like to mirror the repos there.