"replace contents" bug in offline editor: proof | ScratchStats