up reqs and make use of redis 2.8 pubsub features
caret to the right of inserted formula
keep caret position in collaborative mode