Strictly speaking you are right, but users won't typically navigate that far. I suspect most people will do help(iris.save). I think we should be pragmatic here and put these details where they have a chance of being seen.