[tor-commits] [torspec/master] Merge 235-kill-named-flag.txt into dir-spec.txt