better document --synthetic, cosmetic fixes
better document --synthetic, cosmetic fixes

This commit was SVN r767.

ggouaillardet/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc