I vote for the first option. It’s simple and obvious and requires no additional thought from the user.
If it can be renamed later then those that care can do so, but it doesn’t seem like a hardship to live with a standard name for the trash folder. 
I vote for the first option. It’s simple and obvious and requires no additional thought from the user.
If it can be renamed later then those that care can do so, but it doesn’t seem like a hardship to live with a standard name for the trash folder. 