> GitHub account

Is there a reason why you wouldn't want your students learning to code to create github accounts. That seems to be pretty universal in modern development to either have _something_ in github or gitlab.

Try Zed editor

[dead]