[tor-commits] [tor/master] Add some dollar signs in an attempt to appease older asciidocs