GitHub File Downloader per RosaMoody

GitHub File Downloader adds a convenient download button to GitHub files, making it easier to quickly save files directly from repositories