This is cool. I just hope he ultimately has a pathway from HINT to epub so that this gains universal use, like how regular TeX sees because it can be made into a pdf