On 05/06/2018 10:51 AM, Zack Weinberg wrote: > I am not sure whether I remembered to address all of your other > comments on the documentation changes, but I got the impression you > wanted to re-review it from scratch anyway after the split-up? Correct, thank you. I'll be reviewing shortly.