> You should also be able to run choosenim <ver> to restore the links after you > delete the .nimble folder.
On Linux, default choosenim installation (at least it is for me) is `$HOME/.nimble/bin/choosenim` , so deleting the `$HOME/.nimble/` folder delete choosenim; but yes this is what I did, I just had to re-install choosenim as well.
