The unif-* mailing lists are administered by a program (actually a Perl script) called Majordomo.
The LaTeX2e sources of this document were translated to HTML using Hyperlatex-1.4.
Some interesting-looking tools are mentioned on the Reasoning Systems home page.
Here is how GNU ensures software can be freely copied.