As discussed on the list, but I did not need to create two new pdf formats since any given document either uses TeX fonts or not. For the same reason I also added an additional converter to PDF (cropped).
