Hi teor,
Fallback directory mirror DFRI7 [0] is down, due to multiple disk krashes, since about 30h and will not come alive with the same key.
[0] 171.25.193.131:80 orport=443 id=79861CF8522FC637EF046F7688F5289E49D94576
A new DFRI7 will appear on the same address and port within a couple of days. Should I simply update fallback_dirs.inc?