It should be possible to ping him to a post or comment though. (or for him to comment or post here)
GitHub also has a legal defense fund for developers. GitHub lists it on their DMCA takedown page.
When GitHub processes a DMCA takedown under our circumvention technology claim review process, we will offer the repository owner a referral to receive independent legal consultation through GitHub’s Developer Defense Fund at no cost to them.
They created this fund after claims were made against a YouTube downloader from a third party. (not Google)
I don’t know if this would be an anti-circumvention claim, but it doesn’t sound like a bad idea to ask.
deleted by creator
He also sold before the buyback which caused the stock to raise 7%~. If he was insider trading, it would have made sense to purchase before a buyback, then sell afterwards.