Update from a67dc76: the user manual and the wiki pages
Update from 9f98780: the user manual and the wiki pages
Update from a5b4922: the user manual and the wiki pages
Update from 2a0cb36: the user manual and the wiki pages
Update from 246d4a5: the user manual and the wiki pages
Update from d20e15f: the user manual and the wiki pages
Update from 0518c43: the user manual and the wiki pages
Update from 5523946: the user manual and the wiki pages
Update from ee16748: the user manual and the wiki pages
Update from 1d8b761: the user manual and the wiki pages