You could have asked: is there a reason this easy patch was not applied, either on IRC or private mail by me. You did write a comment on IRC and I did see it. Problem is that you did not highlight me _and_ you did not wait for an answer.