With the current situation leading to increased activity at https://isabelle.zulipchat.com, it would be a good opportunity to discuss a switch to Zulipchat on the mailing list some time after the Isabelle2020 release.

Zulipchat (https://zulipchat.com/) is a chat service that has an interactive eMail-like threading model. Content is formatted in markdown complete with code formatting and more. With its filter mechanisms, one can easily concentrate on single threads or mute threads that one is no longer interested in. Since Zulipchat is open-source, it is possible to self-host it and use a variety of authentication schemes (https://zulip.readthedocs.io/en/stable/production/authentication-methods.html).