Adguard's ad-block filters repo had been blocked "due to a violation of GitHub's terms of service" (now reinstated)