On 16 February 2025 6:49:15 am AEST, Rob Pike <robpike at gmail.com> wrote: >Someone should start a mailing list so we can record the history for those >who can't remember what happened or weren't there. > >-rob I might get around to doing that one day :-) -- Sent from my Android phone with K-9 Mail. Please excuse my brevity.