o Minor bugfixes: - If the time to download the next old-style networkstatus is in the future, do not decline to consider whether to download the next microdescriptor networkstatus. Fixes bug 9564. Bugfix on 0.2.3.14-alpha.