I thought that was a different compromise. I think I recall reading that our spooks had set up one or more false exit nodes; don't recall if they were injecting malware for spying or not.
But I've been confused before... :-)
Two different themes. One was a site deliberately injecting malware through a fake Tor node, the other a history of fedgov-controlled fake Tor nodes over the years for the purposes of spying and trackin. Neither validates any claims that Tor itself is compromised.