Lean is far off the most bloated one. Isabelle most likely takes that spot, the main archive includes a whole vscodium among other things.