There is already a project on gitlab if we want to leave github.
I'm not suggesting we do, but if things go south with the new owner we maywant to consider it
Dave Cramer