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