A programmable troff translator with backend for HTML
