- Deletes a file. Refuses directories unless they are empty.
- Prefer this over shell `rm` — it goes through the same permission checks and external-directory guards as other file tools
- This is permanent; there is no undo
