in understand that installing any extensions on #torbrowser is strongly discouraged. That's precisely why I am looking around.