Is this any different from `@editor.getCursor().isAtEndOfLine()`? Does that one return results different than you need, counting EOF or something? If so, let's document that.