On Wed, 2023-02-08 at 17:19 +0000, Gaël Bonithon wrote: > Erkki took it over soon after, and the port to GTK 3 was committed in October 2021, then 4.16.0 in March 2022. > Since then he actively maintains it and plans to continue, so I'd say: you can add it back :) > Thanks a lot! -- Best regards, Michał Górny