[tor-commits] [torspec/master] Mark 253 as dead per author's comments.