Further to comment #5, I'm closing this issue as being fixed. The comment was made over three years ago and no-one has disputed that comment.
Further to comment #5, I'm closing this issue as being fixed. The comment was made over three years ago and no-one has disputed that comment.