Remove urras from default_authorities
As of this moment urras is still listed in default_authorities in src/or/config.c.
This ticket is to consider removing it.
More broadly, does the Tor Project have a procedure for removing dirauths, or for considering their removal?