Among the 4 debian patches available in version 9.0.1-3 of the package, we noticed the following issues: