"Juanma Barranquero" writes: > On 1/8/07, Stefan Monnier wrote: > >> After all, an inconsistently named file is generally >> a sign that there's something wrong, so it's good to prompt the user >> about it. > > That's a bit of second-guessing. We are not in the business of knowing > why someone uses non-default file names. And let's not forget that a > file with a .c extension containing a GIF image is absolutely, > non-ambiguously a GIF, whatever the .c may seem to imply.