Rename dircache to dirmirror
Recently I had the thought that the term "dirmirror" is a better fit than "dircache", mainly because it is driven by upstream data that is mirrored from an authoritative source, namely the directory authorities.
Recently I had the thought that the term "dirmirror" is a better fit than "dircache", mainly because it is driven by upstream data that is mirrored from an authoritative source, namely the directory authorities.