fix ch## generated html file by adding xml:ids
add leading section to get deeplinking working on eclipse section
add a platform section
add a platform section
add no parse rjava option