040000 tree b0187abad92eb35ef946afa1410fe9f716738cea	diagrams
040000 tree 742f9f83b702550714670807671f4ad84ba94639	hacking-guide
040000 tree 993d88a4e665064db6e8312d77b315b1c3f5aaee	migration-guide
040000 tree a721d658238c7fa6a0e91d2a8535a895ecf80958	user-manual