Steve Ebersole yes I think the PR is OK. From my point of view (e.g. if you don't have anything to add to it), we can merge it.