elan installs lean twice

Stream: general

[Ben]

Have I got the setup wrong. I just ran update and (I think) it updated it twice?

> elan update
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v4.3.0
info: downloading component 'lean'
181.9 MiB / 181.9 MiB (100 %)   6.6 MiB/s ETA:   0 s
info: installing component 'lean'
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v4.3.0
info: downloading component 'lean'
181.9 MiB / 181.9 MiB (100 %)   7.1 MiB/s ETA:   0 s
info: installing component 'lean'
info: checking for self-updates

                   stable updated - Lean (version 4.3.0, commit 8e5cf6466061, Release)
  leanprover/lean4:stable updated - Lean (version 4.3.0, commit 8e5cf6466061, Release)