> If you want the GNU versions instead, set > PATH=/usr/gnu:/usr/bin:...
if we want to be strict about the terminology I attempted to define in
2005/683, we should be consistent about calling it the "GNU variant"
rather than "GNU version"
- Bill
