On 07/07/15 21:44, h.b.furuseth@usit.uio.no wrote: > My feeling is that this is a quirk the user should not need to > know about, and it's cleaner to sy r rather than to document it. ...cleaner to sync rather than...