html tidy formatting, use cvs repo instead of anduin tarball