version number update for docs
doc fix
put box around manage runs results for visual pleasantness
Merge branch 'master' into dev