[tor-project] Proposal: rotate default bridge ports each release