On Tue, Nov 21, 2023 at 6:49 AM Andres Freund <and...@anarazel.de> wrote: > > On 2023-11-20 16:34:47 +0700, John Naylor wrote: > > Sounds like a TODO? > > WFM. I don't personally use or update TODO, as I have my doubts about its > usefulness or state of maintenance. But please feel free to add this as a TODO > from my end...
Yeah, I was hoping to change that, but it's been a long row to hoe. Anyway, the above idea was added added under "administration".
