Known problems

PDF files don't get printed