Yep, looks like I got it wrong. I saw the license file and just assumed the source was in the repo, but of course it's not. Alas, I do not know how to delete th

Yep, looks like I got it wrong. I saw the license file and just assumed the source was in the repo, but of course it's not. Alas, I do not know how to delete this submission.