docs will still only be published for NIFTy_5

9 jobs for renaming in 9 minutes and 33 seconds (queued for 1 second)