elan toolchain list missing info

[lovettchris]

It would be very useful if elan toolchain list also reported the path that a "linked" toolchain is pointing to. For example, today I get this output:

stable (default)
leanprover/lean:stable
master
vtec

but it would be cool if the last 2 which are linked to a local path on my PC told me that path, kind of "ls -al" does. Something like this:

stable (default)
leanprover/lean:stable
master                    -> /c/msys64/home/clovett/git/lean4/build/release/stage1
vtec                      -> /c/msys64/home/clovett/git/Vtec234/lean4/build/release/stage1

[gebner]

It would also be cool if the output was machine-readable.

[lovettchris]

Yeah the "(default)" string also needs careful management in code, we could have a elan toolchain list --json option perhaps.