As was pointed out here is a correction for the editor: https://github.com/glisze/teco/releases Gunter gunter.liszewski@xxxxxxxxx