Re: Split up the wiki TODO page?

"Brendan Jurd" <direvus@gmail.com> writes:
> The size of the page really isn't something we should be worrying
> about.  As Greg points out, we have the usual wiki per-section edit
> capability, so in practice we will almost never need to edit the whole
> page at once.  The only reasons for doing so are to perform global
> changes, or alter the intro text.  All day-to-day maintenance of the
> list, such as adding new items, marking items as "done", etc. should
> be done via the per-section [edit] links.

Hm, I'd never noticed those --- have they been there long?

Maybe the above policy should be stated somewhere at the top of the
page?
        regards, tom lane