Exactly… when you trash it then its gone. No need for a permanently delete button. I believe its fine the way it is.