A prototype of a rich-text editor using operational transofrmations