This update for tor fixes the following issues:
tor 0.4.7.13:
- fix SafeSocks option to avoid DNS leaks (boo#1207110, TROVE-2022-002)
- improve congestion control
- fix relay channel handling
tor 0.4.7.12:
- new key for moria1
- new metrics are exported on the MetricsPort for the congestion control subsystem