Thank you for your good work. Paolo ps. I love good package management -- This is message was sent to you from http://thanks.debian.net