Thanks for mentioning that. I forgot to remove that link. There is no mirror on Github anymore.