Change name or take down Google Chrome extension Tor
There is a Google Chrome extension named Tor. The extension can be seen at https://chrome.google.com/webstore/detail/tor/ohielanlcdleofjibfmjbbkaajdcpoil?hl=en
On discussing about this on IRC with arma, I came to know that this extension is not maintained by the Tor community.
Hence, the name for the extension should be changed or the extension itself should be taken down.
The complaint can be filed by filling the form on https://support.google.com/legal/contact/lr_trademark?product=chromewebstoreextensionsgallery