fix docs

5 jobs for !708 with dfazzini_error_runmc in 20 seconds
latest merge request