refman: point to github repo