[tor-commits] [tor-design-2012/master] Revise "other design decisions" section