<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span></span><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>A wild thought that might seem impossible to some, but is much in line<br>
with the proposal: Get rid of the mailing list as well in the long run.<br>
I'd consider mailing lists to be quite an arcane, unscalable, closed,<br>
poorly searchable medium. Of course, a technologically superior<br>
alternative such as Discourse or Zulip would have to be installed and<br>
stabilised first, and ongoing discussions (and possibly the mailing list<br>
history) moved there.<br></div></blockquote><div><br></div><div>I agree that email is an outdated technology, however it is too entrenched to just get rid of it (unlike, say, the current Slack or Discord servers). If we have a clear alternative that works better, then conversations will naturally move over to there. <br></div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">I'm mostly a lurker here, so my opinion is perhaps worth a bit less. But I do think that email has a nice property that chat systems don't: the affordances of the medium cause it to tend towards longer-form, more thoughtful replies. </div><div dir="auto"><br></div><div dir="auto">And mailing list archives tend to be nicely indexed - I've found useful things from old Agda posts in my normal search results on various topics even when I wasn't looking specifically in the Agda archives, but this has never happened with a Zulip or Discord server. It would be a shame for every search to need to be redone in five different closed chat systems that don't even have stable archive formats.</div><div dir="auto"><br></div><div dir="auto">David</div></div>