more docs, various tweaks

3 jobs for NIFTy_4 in 5 minutes and 1 second (queued for 1 second)