Do we have any rule on how to write `delete []`? I'd personally prefer `delete[]` (without a space), and I also think that's what's more common in the existing code base.