[tor-commits] [torspec/master] Document feature3076-related GETINFO keys