Maunal dev:
1. How to make a patch
2. Packages needed to build for Android (I've just set up a new Ubuntu 14.04 system)
3. How to edit the manuals