By the way, sorry for the meeting recap delays. Speaking of the meeting, what was the text editor mentioned as an alternative to the Javascript-heavy smart editors?