"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