Tries .html, .hocr, and .txt output extensions