My kids have been using repl.it for their first python steps, but it's time to move to vscodium. Or should I show them neovim?