[tor-commits] [tor/master] fix default for TokenBucketRefillInterval in man page