> Fair enough. I think we should push your first patch only in HEAD as> this is a minor improvement over the current behaviour. What do you> think?
I agree.