Quick demo of the internal developer system that has been really useful in working through a provably correct/functional cursor movement/editing scheme.