diff --git a/developer/.doctrees/environment.pickle b/developer/.doctrees/environment.pickle index 9e6661f5b..c8e2c2bd8 100644 Binary files a/developer/.doctrees/environment.pickle and b/developer/.doctrees/environment.pickle differ