A programmable troff translator with backend for HTML