Oh so you can tell the difference because you can still tip it whereas if it was really deleted you can't tip it.
We might do something more to indicate a real delete at some point ... but it seemed like everyone just wanted it to get done.
reply