2014-06-21 12:46 UTC+0200 Viktor Szakats (vszakats users.noreply.github.com)
  * extras/hbdoc/_genhtml.prg
    * cleaned doc tags