coteditor: change url from sourceforge to github