Added alternative4ht.sty