[tor-commits] [torspec] branch main updated: tor-spec: Revise the CircID selection section