Hi, Given that most development discussions are going on via gitlab, and the mailing list is mostly inactive, would it make sense to eliminate it completely and keep gitlab as the primary devel collaboration platform? regards, Nikos