Should terminals have an "undo close tab" command that restores a closed tab with full scrollback? (Yes, they should. I don't expect it to restore running programs like the shell or anything, just let me copy/paste the scrollback.)