Is Lilypond using TeTex?
No. I can answer that question, but I don't know the answer to the rest of it. Geoff