Anyway, if the change doesn't get accepted it won't be the end of the
world, but obviously I'm hoping you find the above convincing.
Just to clarify: if I were to design the API from scratch, I'd CONST those
args... so I agree with your suggestion.
p.