Hello, is there no PostScript to TeX / PDF to Tex converter available? Locally, i cannot find one, and search on debian packages did not reveal any hits. Maybe they are inside a larger package? I can find e.g. html2ps as a single package. Thank you for any hints; greetings, Timo