Commiting HTML2TEX