I just read through the archives of the mailing list, and it seems that I couldn't find anyone who actually said how to get the docs out of CVS, and I've totally forgotten how. Would someone mind posting how to retrieve them again? Thanks, Leif Madsen.