(BIN) manual.dvi
 (TXT) manual.ps