Hi, Isn't https://bugs.debian.org/857736 the same as https://bugs.debian.org/824010 ? -- 2. That which causes joy or happiness.