Editorial cleanup

1. Add EKR as editor
2 This should be a bunch of uncontroversial changes, which are mostly editorial,
and if substantive are intended to enact what I think the authors intended.