Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.0) Gecko/20020530
CVS has the (to me, odd) restriction on tags that they may not contain the
characters `$,.:;@' . This is puzzling in light of the fact that the most
common way, both historically and currently, to tag releases is in x.y.z form.
I suspect that there is a standard substitution for the dots. Is there? If
so, which char?