HMpTy.mysql (subpackage)

MySQL tools involving HTMs