manual.texi	Removed all documentation referring to the GEMINI table type. GEMINI is not released under an Open Source license.


Docs/manual.texi:
  Removed all documentation referring to the GEMINI table type. GEMINI is not released under an Open Source license.