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?