Hi, does anyone know of a pdf conversion tool that works in linux? at the moment the pdf2txt or pdf2html tools provided by adobe and the trace research and development center are both down, i understand for many months. thanks, Karen