> I do not see much value in abbreviating the file name at all; unless
 > that is important for other features to work, I find that the original
 > file name should be preserved in case of doubt. (symbol-file
 > 'prolog-mode) correctly evaluates to "/Users/mt/prolog.el", so this is
 > what should be shown. Otherwise, even future changes to load-path could
 > lead to distorted file origins of functions that are already loaded.

Do people see problems if we do not simplify the filename when the
libname is not a compiled file?

martin