The Tor folks updated their post to say that:
"An earlier version of this blog post incorrectly stated that 'Mozilla is aware of this attack being used in the wild against Tor Browser users.' This has been corrected to accurately reflect Mozilla's official statement. To be clear, the Tor Project has no evidence that Tor Browser users were targeted specifically."