[tor-commits] [torspec] 07/14: Rename three keys.