More correctly documented PredictedCircsRelevanceTime in tor.1.txt