diff --git a/developer/.doctrees/environment.pickle b/developer/.doctrees/environment.pickle index 0514e3ab4..f9c5d1ffb 100644 Binary files a/developer/.doctrees/environment.pickle and b/developer/.doctrees/environment.pickle differ