[tor-commits] [torspec] 17/19: tor-spec: Change PK/SK to KP/KS in definition section