Sean Kelly: > 1. There's a precise scanning patch in bugzilla right now. If applied, this should largely eliminate this issue. But I/we don't know if or how well it works yet :-) Bye, bearophile