On Wed, Apr 22, 2020 at 09:14:31PM +0200, gregor herrmann wrote: > Feedback welcome, and if the rough ideas don't sound crazy we could > probably write it down a bit more structured on a wiki page, as usual Sounds good to me, thanks! -- Niko