It looks like there is a video update for Linux. But I do not see a prompt to update tools. Is it needed?
I was writing about Linux. I ended up manually updating and it looks like the tools were updated. I never noticed a GUI installer for Linux before.