R.Tenton: > Or is this the wrong place to ask? The right place to report errors in the docs is the bugzilla... But if you don't want to subscribe some people here can do it for you. Bye, bearophile