[tor-commits] [torspec/main] better name for the num-primary-guards variable