Edit: Now I’ve gone down a rabbit hole and it seems there’s a way to work with GDScript in one of the JetBrains IDEs, neat

Which one, if I may ask?

For teachers too...

Ding! Solved, thanks!