An edit server for TextAid and similar Chrome plugins