Sorry, I know I am way to anal retentive:
It was actually DocuWiki and was the landing page for the old nuttx.org website (not that it matters)In the past, documentation was partly in README files in various directories in the repo, partly on the NuttX website which was running on MediaWiki.
