Hi all, Does anyone (Ben in particular) have any objection to me merging the docs and documentation directories? I was thinking of moving docs under documentation as api-docs (or something along those lines) and then renaming documentation to docs. James