Brad Roberts: > Um.. stop that. Don't mix bug reports with discussion of only > semi-related stuff together. Don't use bugzilla as a discussion thread in > general.
You are right, that muddles two different things. To fix the situation I have closed it and created a bug report (4529) and an enhancement request (4530). Sorry, bye, bearophile