deprecated dvi-viewer
doc: api
fixed file header and cleanup