third-party/iohelper/doc/manual.tex