04:32:00 <JAA> By the way, the github/dmca PR with the full youtube-dl repo was deleted/hidden: https://github.com/github/dmca/pull/8142
04:32:27 <JAA> It's still in the repo though: https://github.com/github/dmca/tree/416da574ec0df3388f652e44f7fe71b1e3a4701f
04:35:06 <Fusl> awh