On Fri, Oct 01, 2004 at 02:41:25PM +0200, martin f krafft wrote: > It must be decided on a case-by-case basis. Generally, I would > recommend renaming the less-important/popular binary. Popular binaries? It's a hard fighting between athena-jot and orville-write :) -- Francesco P. Lovergine