Doxygen back to fc20
    * configs/scoreboard/misc.xml: