[tor-commits] r25772: {website} Patch by Ondrej (website/trunk/docs/en)