Consider editor alternatives

[kloimhardt]

At the moment clooj-for-students is used, a hacked version of clooj

Maybe it is valuable to use standard clooj in the first place.

Also joinr mentioned a successful application of Nightcode for a similar usecase.