David Freeman david_freeman@rocketmail.com writes:

Perhaps a more detailed account of what was wrong and how it was fixed could go on the web so that others who have this problem can get it fixed.

Email it to me. It may motivate me to fix the repository and bring the site up to date.