documentation HTML fixes
runner.tcl: fix markdown include