manual.texi	a better way to integrate into Gizmo.


Docs/manual.texi:
  Commented out mirror flag images, until we find
  a better way to integrate into Gizmo.