Hi all,
this group has never been really active and we would like to close it and encourage questions to be discussed as github Issues or maybe SO.
But I would like to have feedback before we really do it:
Somebody thinking it is a bad idea?
Cheers,
Andi