Should we move the developer docs to the project's wiki page? Reasons to do it: 1) Might be easier to maintain? 2) Developers will be on github anyhow. Reasons not to: 1) Math notation in wiki markup? 2) Offline version?