Ouch! That could have been nasty. If a new user shares the Documents folder, and then mistakenly starts deleting using the Library's nasty little delete button, then there would be trouble.

I really wish that delete button would follow familiar practise and "move to trash" rather than permanently deleting files. What other user app does automatic deletes?