minor formatting change
add shift+T to the manual
fix some html errors