June 14, 2023 11:41 AM, "Sergey Bugaev" <bugaevc@gmail.com> wrote: > Anyway, I am here, reporting things, and trying to fix them when I > can. (And actually wondering whether you're all tired of me already.) I think everyone is very happy that you are helping out and making the Hurd better Sergey! Joshua