Hello, > Perhaps -- I don't know what LocalWords is supposed to do.
"# LocalWords:" allows to add words in your dictionary for that file only. The syntax is "LocalWords:" prefixed by the current "comment prefix". Hence, I don't really understand why we would want to transform it in "#+ LocalWords:". Best regards, Seb -- Sebastien Vauban