On Wed, 8 Dec 1999, Waldo Bastian wrote:

> I really think an option is needed here because the average user is
> IMO not very interested in filenames.

Next option would be to hide dynamic libraries ? Default would be "yes", 
of course ;P

Harri.