GitHub Restores Popular YouTube Downloader After Uproar Over Removal for Copyright Violation