@mra I got an email about it but I can't merge it until next month when we get back closer to the city. I'll probably move that one too in the fall to sourcehut :)