Sorry - I don't know why the "file:" stuff pasted as HTML - it wasn't that way
in the text file I used to write this post ... so please ignore the <> marks
in the body of the text.