(i reported the repository to github, but of course github does not have a generic “breaking license terms of the original code” report template in their system, because why would a software repository want to have one. ah well.)
@mawhrin I'm not generally a fan of the DMCA, but if the original author is in the US, I wonder if they'd be interested in submitting one?