diff --git a/developer/.doctrees/environment.pickle b/developer/.doctrees/environment.pickle index 2b8c4b221..0e6c6cd57 100644 Binary files a/developer/.doctrees/environment.pickle and b/developer/.doctrees/environment.pickle differ