(Here is Jerome's rough draft of the following bit:)
As I say below, there were inexplicable problems later between version 8, which included your language edits and mine, and version 11 where they had disappeared. We probably have to be careful to flag good versions and communicate in comments about what we are doing or have done.
