On Fri, 02 Feb 2018, Brian May wrote: > Does anyone feel that these mailing lists provide any benefits? I got an > automatic email asking if we want to keep them. Do we want to keep them? I think we can get by a group alias... -- Henrique Holschuh