Looks like a machine-generated no-change to me. Am I overlooking anything? I'd prefer not to have such events cluttering the history. But maybe it's hard to avoid? No objection except that I'd like to prevent unnecessary events if possible with reasonable effort...