I prefer the comment separatos for sections to be different than those
for chapters (so I better see the structure while editing). It makes
no difference for others I'm sure.
Also, remove the info menus: they tend to rust in the source
while the good ones in the output are regenarated by ./fixinfo .
Signed-off-by: Alessandro Rubini <email@example.com>