Терзал тут модуль EditKeys из ГБ. В начале стоит:
## Код:
```
MODULE EditKeys IN Oberon;
```

Это когда такое появилось? Судя по тому, что сам файл называется Oberon.EditKeys.Mod - это нововведение из BlueBottle, но ни в одном описании языка я такого не встречал