Yep, and then we use PHP Markdown Extra<http://michelf.com/projects/php-markdown/extra/>to parse it into HTML.
The documentation runner we will soon be using on the site can be found here<https://github.com/fakedarren/mootools-docs>if you wanted to have a play on your local server.
