Re: [tor-dev] repo: TLS vs. GPG signed files (#12871)