Die Tooltip-Hilfen (also das, was angezeigt, wenn man die Maus über den entsprechenden Buttons schweben lässt) zu den Buttons doc und texdoc sind IMHO falsch. Bei doc heißt es:
dabei wird tatsächlich ein doc-Tag eingefügt und nicht nur ein d-Tag. Beim Button texdoc, ist dieselbe Tooltip-Hilfe zu sehen, obwohl ein texdoc-Tag eingefügt wird, der außerdem denselben Link wie doc erzeugt, so dass man sich einen der beiden Buttons IMHO eigentlich auch sparen könnte.