error snapshots download.

[Nathanael D. Noblet]

So I downloaded the cvs snapshot referenced from the new wiki. It seems
to be a copy of the repository, and not a checkout.(files are .v ) with
all sorts of version information.

Just a FYI.