Improved task elimination.
Added button to empty the bin of deleted tasks (but not yet the ability to see/restore them).