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