Success: editors/xcoral v3.47
editors/xcoral: fix