The Rascal editor