Removed a bunch of old files from the master branch

Hi folks,

Next time you pull master, you’ll find a lot of old, legacy files have
been removed. If you want to get any of them, they’re in the
legacy-documentation branch.

If anyone is inconvenienced, let me know.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Friday, 12 May 2023 09:52:44 UTC