File encoding problem

Ah OK—sorry for the false lead: I thought the problem might in some way be related to a problem I had last November.

Stephen