just noticed "Undo discarded" option on my Gmail - don't know if it normal Gmail or Better Gmail tweak