The behavior of Texdoc should be coherent: the first option must win over the second option which contradict to the first one. Seems to me that usually it is the later option that wins? And I think that is good ... -k