[tor-commits] [torbutton/master] Update date of design doc.