[tor-commits] [torspec/master] Prop 311 & 312: Remove TODOs on Prop 313 link