[luckystarr]

Jedi is pretty good actually. Initially it would sometimes be slow and mess up buffers, but that didn't happen for a long time.