Regenerate with jh2gh after fixing </jh> newlines in the jhilbert file.
Regenerate with jh2gh after fixing </jh> newlines in the jhilbert file.

raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert