Re: redundant DOC files

[Eli Zaretskii]

> Cc: Leo <address@hidden>,  address@hidden
> From: Stefan Monnier <address@hidden>
> Date: Sun, 21 Jan 2007 18:15:37 -0500
> 
> Actually, you won't see garbage.  There's a low probability that you'll see
> the wrong docstring because the mismatch was not detected, and a high
> probability that the mismatch will be detected and then the docstring
> pointers are recomputed and things work correctly from then on.
> 
> The low probability is of the order "1/number of bytes in a docstring", so
> less than 1%.

I don't have statistics (as don;t you), but my experience is that
wrong doc strings are seen much more frequently than 1%.