Re: Notes Status, 24899 total

On 17.08.2020 at 17:05, Larry Garfield wrote: > On Sat, Aug 15, 2020, at 3:10 PM, Derick Rethans wrote: > >> On 15 August 2020 21:02:28 BST, Larry Garfield <larry@garfieldtech.com> wrote: >> >>> I'm flexible on what that is; I just want to avoid deleting things too >>> aggressively and getting yelled at. >> >> I used to be quite aggressive deleting the ones in the DateTime pages. >> Everything that was code, a "this is how to use it", I would delete. >> The idea behind notes is to improve the documentation. So notes either >> need to be incorporated or deleted. > > So it sounds like the consensus is "improving the doc page so that comments are redundant, > and then purging redundant or off-topic comments with extreme prejudice" is an OK thing to do, > and should be encouraged, even if we've been slacking on it badly. Yes? More or less; I don't mind keeping a feew user nots which may not be relevant enough for the manual proper, but might still be helpful. See also <http://doc.php.net/tutorial/user-notes.php>. -- Christoph M. Becker