I can agree on the mailing, I will discuss your remarks with the other developers. We are trying to support also other "community platforms", so we have now a forum:
a Gitter room:
https://gitter.im/texmacs/Lobby
and a GitHub mirror here:
https://github.com/texmacs/texmacs
where you can post PR. As for Bugs we prefer the savannah bug tracker but if you post something on GitHub we will take it in consideration too.
Your mailing list archive is not indexed by google (except for the narkive version, where search is broken) so answered questions are generally not visible to new users.
The default search in the list archive only searches a single month, this is useless. Searching multiple months is non-obvious.
Some project-deaf suggestions from this outsider are:
- put your lists on Google Groups so they are easily searchable and findable for new users
- just put the damn thing on GitHub and use their Issues system (or GitLab or at least something that isn't Savannah).
It might be a bit annoying for current project members to get the hang of it but I think, in 2020, it is very difficult to grow and show off a community that's based on GNU Savannah!