o Minor bugfixes (documentation):
    - Document better how to read gcov and what our postprocessing scripts do.
      Fixes bug 23739; bugfix on 0.2.9.1-alpha.