It doesn’t even sound like he was the one who released it. He stole to sell them, they don’t say he distributed it online, so probably someone bought it off him and ripped it. What a dumbass

Is there literally any evidence that the US government managed to extract useful information from no-log vpn providers in the US?

What are you on about? You can just turn off auto updates or revert back to previous versions.