Just a point of clarification, please: With regard to GNU tools for which there is no name collision in /usr/bin, I believe the proposal relies on the cited cases (references) to specify that /usr/bin, not /usr/gnu/bin is the proposed preferred location?
Eric
