A web editor for Grace