o Minor bugfixes (documentation):
    - Make Doxygen work again after the 0.3.5 source tree moves.
      Fixes bug 28435; bugfix on 0.3.5.1-alpha.