Import editors/xcoral version 3.47