Merge @nicevps PR https://github.com/torproject/community/pull/167/files

Gus requested to merge gus-main-patch-09687 into main Dec 05, 2021