Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
Lars, thank you for the detailed answer! -- Regards, Wolfram Schlich <wschlich at gentoo.org> Gentoo Linux * http://dev.gentoo.org/~wschlich/