o Minor features (directory authority):
    - Include inside each vote a statement of the performance
      thresholds that made the authority vote for its flags. Implements
      ticket 8151.