[tor-commits] [manual/develop] Add tor.ccc.de mirror, change subsection title to h3