convert OSF to HTML (and many other formats)