[tor-commits] [tor] 04/07: dirauth: Remove Faravahar