Stopping 'leanls' lsp doesn't stop downloading lean toolchain

As the title suggests , if you enter a lean project but don't have the required lean toolchain then lean.nvim starts downloading a new one. Using the recommended way of stopping the lsp server `vim.lsp.enable('leanls',false)` kills the lean server but does not stop that download