jlebar added a comment. wrt one doc vs four, could we just edit it all in here and come to something we agree to, and then if we ultimately decide it's unwieldy, split it up later? I do think this will make all our lives easier. https://reviews.llvm.org/D24167