sebb wrote: > I think the announcement was a little premature, as I've yet to find a > mirror that has the new release.
you are right, these are only now syncing correctly. I will be updating the header/footer now. > There are rather a lot of files in the directory, some of which seem > to be old versions; it would help if the older versions were deleted. Old versions die tomorrow after the new versions propagate.
