Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> Also, let's delete the TODO list. People keep using it as a source of
> project ideas, and that's bad.
If we're not going to maintain/curate it properly, I agree it's not
worth keeping it around. But I'd rather see somebody put some effort
into it ...
regards, tom lane