Removing elan default toolchain

Stream: lean4

[Michael Rothgang]

I typed elan default show, trying to see what default toolchain elan has. That made a toolchain with the bogus name show my default toolchain. I then typed elan default help, trying to see how to remove it. That didn't work either. Now, my elan show says

active toolchain
----------------
leanprover/lean4:help (resolved from default 'help')
(toolchain will be installed on first use)

How can I remove that default again?

[Michael Rothgang]

I tried looking through the various elan output, and didn't find anything obvious. Help pointing out what I missed is very welcome.

[Marc Huisinga]

elan default leanprover/lean4:stable