4 ms·

That looks like a useful extension, just installed it. Good for those times I want to Undo Close Tab for something 10 tabs ago