WG5, David has merged the edits in N1902, N1957 and N2002 into a new document N2005, which is now on the WG5 site. Thanks, David, for doing this. John.