Never used.
When we go to texpdf we will need the font filenames too.
We did these!
This should be enough to interface to libtexpdf. Now we need to write the SILE output driver.