Maxim Fomin: > as well as more sophisticated nonsense. Issue is filed is > bugzilla, so it will be fixed sooner or latter, current policy > is to ignore it. See also: https://d.puremagic.com/issues/show_bug.cgi?id=3934 Bye, bearophile