Cosmetics.
CORE_vfs.delete: New operation.