Yup! It's Trix alright. I was pretty amazed out how heavy and complicated most rich text editors are. But then again, it's a pretty complex interaction they have to design around.