Hello All > BTW, there is no point in making the package priority extra. Debian > Science policy recommends optional (for very good reasons). I always miss this point, thanks Andreas for this reminder. Cheers Frederic