  o Minor bugfixes:
    - If we fail to dump a previously cached microdescriptor to disk, avoid
      freeing duplicate data later on. Fix for bug 10423; bugfix on
      0.2.4.13-alpha. Spotted by "bobnomnom".
