doc: more on implementation and design.