BTW - anyone know if Name_redacted has a new twatter thingie anywhere? He kept getting banned over and over and I can’t find a new handle for him.
Nameredacted is now Harold Finch (@hfinch61).
(But don't tell Twitter!)
https://twitter.com/hfinch61