manual.texi	options table was busted in HTML version).
manual.texi	Minor mods to FLUSH section.
manual.texi	Minor mods to RENAME TABLE section.


Docs/manual.texi:
  Mods to RESET section (syntax description said FLUSH,
  options table was busted in HTML version).