bug#4712: File encoding

[Stefan Monnier]

> Maybe so, but this part of the OP's report:

>   value of $LANG: en_AU.UTF-8
>   locale-coding-system: utf-8

> indicates that UTF-8 is the "native" encoding on the OP's machine, and
> there is an overwhelming user demand for silently and transparently
> switch to such a native encoding when we need to select an encoding.

The `coding' cookie trumps any such setting, since when we read the
file, we will blindly obey the cookie without paying any attention to
the user's locale.


        Stefan