Doesn't this imply we can still download from github?