Robert Haas <robertmhaas@gmail.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