Re: [PATCH] Unicode Lisp reader escapes

[Richard Stallman]

    I think using different names in the first line and in the local
    variables section is not good.

I am not sure.

                                    Users may move these settings
    between these two places in the same file, and incompatible names
    are the source of inconvenience and confusion.  Since the variable name
    is `enable-character-translation', there should be no problem in using it
    in the first line as well.

No, that name is too long for the first line.