Regarding hitex bug reports, Martin is currently only on the tlbuild at tug.org mailing list. While we are in these early stages, best to send bugs there. I told him about the various reports from today. Perhaps at some point we will use tex-k, or set up another mailing list. -k