[tor-commits] r25383: {website} minor fix, thanks linus (website/trunk/about/en)