<\body> manual|> The user manual for is available from the menu. We also provide user manuals in gzipped postscript format for the following languages: <\description> You may also the manual on the web. <\initial> <\collection> <\references> <\collection> |?>> |?>> <\auxiliary> <\collection> <\associate|idx> |Help>||Manual>>|>