This commit: final revisions, prior to sending to co-authors.