third_party/iohelper/doc/manual.tex