From: wofgdkncxojef@... Date: Sat, 26 May 2018 19:33:05 +0200
I'm proposing to move to github.
Not for technical reasons.
Github is the facebook of open source.
Been there, should attract more devs....
Moving the code will be simple enough.
The bugs however will not be straight forward....