@lainz:I suppose we can keep Github while it works fine. If ever something arises that is really bothering, we can move somewhere else. Moving would entail updating all references to Github etc. and there is already SourceForge as well.
@leledumb....