correct github links to reflect recent renaming