Update from 35fcac2: the user manual and the wiki pages
Update from 9d4cdad: the user manual and the wiki pages
Update from fc7ca73: the user manual and the wiki pages
Update from 6a0750c: the user manual and the wiki pages
Update from 246d4a5: 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 bfe64b3: the user manual and the wiki pages
Update from 1d8b761: the user manual and the wiki pages