[PHP-DOC] Re: modifying user comments

[jimw]

Philip Olson <[EMAIL PROTECTED]> wrote:
> Anyone have words to share on this topic?  Should I be leaving editors 
> notes instead?  I see many of you do.

well, the point of the user notes, in general, is that good ones
should be incorporated into the documentation itself, not merely
edited and left in the notes system.

jim