docs: more time diagrams, minor fixes