[tor-commits] [tor-browser-build/master] Remove another thirteen defunct default bridges.