So this means that "info info" reads one manual, while "info -O info"
reads another? Is that a good UI?It seemed the best compromise to me. As Benno pointed out, it's not good ui for "info -O info" not to show the options for info, either, when that is what -O is supposed to do.
