Heh, just yesterday the student also told me about it, I haven't had time to try it to see if it's better.
I have a question - do you know of sites for online pair coding. I liked replit.com for three years, but since the fall it became paid (( and now it's expensive for me. Even its free version is too limited. https://workat.tech/collab/ide I still use it, but it is very simple and has only few languages.