A Functional Text Editor For Browsers