Move secret bad.conf to public repository

I'm in the process of moving bad.conf from inside dirauth-conf to our newly created and public authdirbadexit repository.

At this point, bad.conf contains 314 authdirbadexit, authdirreject, and authdirinvalid entries, dating back to 2007. Most of these relays are long gone. I think we have the following options:

  1. Don't touch the file and just copy it to the new repository. That's the status quo.
  2. Discard all expired entries and copy the rest. That leaves us with only a handful of entries. The discarded entries still live in the git history of dirauth-conf.
  3. Comment out the expired entries and leave them in the file for future reference. Might be interesting to some people who don't have access to dirauth-conf.

Opinions?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information