A quick search for "HDT" on the Github repo points to zdump.8 and tz-how-to.html, as well.

--
Tim Parenti

On Tue, 23 Oct 2018 at 15:19, Paul Eggert <eggert@cs.ucla.edu> wrote:

On 10/23/18 12:07 PM, Michael H Deckers wrote:
> You might want to add HWT and HPT to the list in theory.html as well.

Thanks, good catch. Also the NEWS file. I installed the attached.