An other online editor for GF