Regardless of the outcome of the litigation, probably all core devs (at least new ones) need to be pseudonymous from now on.