Just a short status update: 5.4 has been released clarifying some license information and including the PDF sources. Unfortunately we discovered a segmentation fault at startup. But this will be fixed soon upstream too and then the package will be built and uploaded to NEW. Regards, Daniel