I see, but for the docs this won't be a problem I think. And now it is a bit overhead for the user to see what the relevant options are. So I would leave them out personally.