Among the 1 debian patch available in version 1.13.1-3 of the package, we noticed the following issues: