Hi qbi. Like [Stem and Nyx](https://trac.torproject.org/projects/tor/ticket/32832) I'm [moving DocTor to GitHub](https://github.com/torproject/doctor). Could we please archive its trac component (Core Tor > DocTor)? Thanks!