[tor-commits] [tor/master] Note that our #13426 fix is also a #13471 fix.