GitHub Repo File Downloader

Allows you to download individual files directly from GitHub repository pages.