[tor-commits] r25445: {website} Fix the <pre>s in debian (website/trunk/docs/en)