This is not urgent or related to a customer issue, but as I was implementing dictionary support in dart, I wasn't able to get the keys collection to emit notifications - it emits the initial notification, but then changing the dictionary doesn't emit anything. To be clear, this is the collection returned by calling `Dictionary::get_keys()`. Regular notifications using Dictionary::add_key_based_notification_callback work just fine.