Update from db8ee1c: the user manual and the wiki pages
Update from a67dc76: the user manual and the wiki pages
Update from 9f98780: the user manual and the wiki pages
Update from 35fcac2: the user manual and the wiki pages
Update from 9d4cdad: the user manual and the wiki pages
Update from 09b2779: the user manual and the wiki pages
Update from 0518c43: the user manual and the wiki pages
Update from 1d8b761: the user manual and the wiki pages