May 31, 2019
8:20 p.m.
Thanks for the careful reading of the Hong Kong data, and for reporting the errors. I installed the attached patch to try to fix things.