extracted by third-party tars. It is not meant to be installed nor to be included in the distribution. It is here, so that it can be obtained either from CVS or from the tar web site.