> Doesn't change that people will be able to use this against him in the future, perhaps violently.

The Iranian government already has a case against him then, he is using PHP and committing code on github.

Not really, in practice no one will get you from using publicly-available code that is part of a larger project. Directly interacting with someone, that's different.