Hi Svante, Thank you for sharing this information in debian-devel. Much appreciated. Even though some say it is off-topic (technically speaking), I'm sure we must know such things. Personally I doubt if I would notice this information somewhere else. Thank you. Regards, Dmitry.