Merge tails-dev, tails-ux, and tails-project mailing lists
The traffic on our public development mailing lists has significantly decreased over the past years, mostly due to our better issue managers.
As of today, I find the split between tails-ux and tails-dev, for example, more painful than useful: dev and UX issues being intertwined most of the time.
The latest messages on tails-project also overlapped with tails-dev or tails-ux:
The traffic on the 3 mailing lists has been the following in the past 3 months:
That's ~ 1 email a day (with some duplicates), which seems reasonable to me.