An opinionated text editor