Firefox Considering Tor Integration

I couldn't find any mention of Mozilla or Firefox for that matter in the message thread. Is this just speculation about who the "vendor" is, or is there something I am missing ?