coteditor: change homepage from sourceforge to github