Andreas Schwab wrote:
> That isn't true.  #: prefixed symbols are uninterned symbols.

Good point, thanks.  The doc I quoted predates the #: syntax, and evidently 
wasn't updated when the #: syntax was introduced and used.  Since that doc 
wording is wrong, and there's now no reason to initialize cl--gensym-counter to 
anything other than 0, I boldly installed the attached patch.  It passes 'make 
bootstrap' and 'make check' (at least, as well as 'make check' did before -- it 
always fails for me in epg-roundtrip-2).