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 itsusefulness or state of maintenance. But please feel free to add this as a TODOfrom my end...