Fixed UTF16-only bug.
Progress towards finally getting character encoding to work.
Now properly reëncodes the input file, but doesn’t notify the owner that there’s new source text.