ENHANCED: PlDoc /doc_for no longer gives a file-link in the header if the requested documentation comes from multiple files.
ENHANCED: PlDoc /doc_for no longer gives a file-link in the header if
the requested documentation comes from multiple files.

edechter/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel