Partially fix #18: Point to Github website, instead of Trac