mention that ObjectIdDict is safe to precompile (see #8665)