Port doc changes from NIFTy_7 to NIFTy_8

16 jobs for new_docs_nifty8 in 19 minutes and 16 seconds (queued for 2 seconds)