Bug Description:

I just came across the breaking change related to handling preference changes: eclipse-theia/theia#16846

But in the documentation the newValue and oldValue fields are still referenced: https://theia-ide.org/docs/preferences/#type-safe-access-via-preference-proxy