Re: locate-library doesn't find new compressed el.gz files

[Richard M. Stallman]

    > But what about (locate-library "foo" t)?  Should it try only "foo" (as
    > the batch below does) or should it also try "foo.gz"?

    I don't see why it should try "foo.gz".

If you think of "foo.gz" as another way of representing the file
"foo", then it is natural that anything that finds foo
would also find foo.gz when Auto Compression mode is on.