Changed links to use the github-based url, to avoid (temporary?) domain hosting issue