> It is probably best to report the issue at https://bugs.freebsd.org/bugzilla/ so it will still be known even if no one patches it right away. Done! It is now bug #213365 Petri