Some of the above directories are available below as a single tar+gz file.
<! i><! This site is under constructions, and I will keep adding things.
Fortunately we are getting soon a new webserver with a decent amount
of hard disk; once it is installed you can expect much more information
(and sources) here><! /i>