Hi There, Im just checking the list of the activity that signed by default to legind: https://trac.torproject.org/projects/tor/query?status=!closed&owner=legind and it seems since ages not discussed or fixed, so shall i report my issues to HTTPS-Everywhere on github or TBB ? Thx!