Hi Ansgar, 2½ months ago you tagged 633809 pending, but there's no commit to the VCS in that time and it hasn't been resolved by an upload. May I ask, is this bug really pending? Thanks!