Sorry, due to editing confusion, I typed "GAWK"
at the top of my post, and meant to type "TXHD".


A momentary lapse.


( Even though GAWK is tanking also ) My comment
and question was precisely about TXHD, not GAWK.


Thanks



Until2017