The effect you list of Devs not wanting to publish under their own name is already palpable. All the major grants in the Bitcoin Space require handing over your true name in the background even if you could remain nym on GitHub.
They were charged for unlicensed money transmission for a non-custodial wallet. The court didn't pursue money laundering charges. The charges they are going to prison for could apply to many facets of the Bitcoin ecosystem. Do miners have Money Transmitter Licenses?