GitHub: how to find the sharable download URL for files on GitHub