[tor-commits] [torspec/main] prop328: Fix the usage of extra-info versus server descriptor