Use the public Github URL, re #273