MD5 (htex/unpacked.tar.gz) = 6655df7d63574ae6aa2b8ac52edc8a82
MD5 (htex/htex.tfm.tar.gz) = 6e78e278613c5178a678b720264779df