By convention we don't include the coding line in files; if there is a non-ASCII character then let's discuss that.