Comment by bshimmin

Here's the text editor they're talking about: http://www.kparc.com/edit.k

The code is, well, not the easiest to understand.