Hi > Sending a PR is always a good idea - it ends up in the tracking > system and doesn't get lost in the mailing-list noise. It's now (hopefully not) getting lost in the PR system: http://www.freebsd.org/cgi/query-pr.cgi?pr=151082 Thank you all, Michi