On Tue, Sep 19, 2023 at 4:49 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> Q3
(Erm, I mean Q4, where does the time go?)