[tor-commits] [tor] 01/07: Fix `check-docs` to avoid false-positives on missing anchors.