Point to jtext2latex in this repo