Same file name, different directories

[masinter]

list of files with same name in different directories
same file name, different directories is bad (except for special cases like CLTL2 and README.md).
We should pick the best, usually.

(Same for same defined term (symbol, filepkgtype) but that's another issue.

[masinter]

will merge this with Issue #262