040000 tree b0187abad92eb35ef946afa1410fe9f716738cea	diagrams
040000 tree 73d84808517ed2642b269e1163bf042b93e630b3	hacking-guide
040000 tree 52a50c1e65b90e0b671131a963bcde4f5683f9d2	migration-guide
040000 tree ffe95acf647cc49fff75690787ab01c6ec528944	resources
040000 tree 7b1fca1d58c9d4725bb3ffcde7d7437f9a0a76ea	user-manual