“cursor dot” is another name for Cursor follower.