See `JSON.DEL`.