040000 tree b0187abad92eb35ef946afa1410fe9f716738cea	diagrams
040000 tree d1d083722f6ca055f6f1a97fe35e2fedb6b37698	hacking-guide
040000 tree bcbe2dfd1a1a3ce936510d8b8e941f23788a3145	migration-guide
040000 tree d42dc00d0ee6a26d3f4286450ab31b164f055e7b	user-manual