JetBrainer here. Kind of my thoughts as well. When you think about the main problem -- human-in-the-loop -- the deterministic side has a lot to offer. But not always at the point of cursor-on-a-character.