Hello, some months ago, I was facing another bugs I reported on https://puszcza.gnu.org.ua/ but I had no news about them. Since this list is more responsive (thanks to Radhakrishnan ;), I let you know them: https://puszcza.gnu.org.ua/bugs/?162 https://puszcza.gnu.org.ua/bugs/?163 https://puszcza.gnu.org.ua/bugs/?164 Best regards. -- Denis