

What’s ext4rat? Web searches don’t turn anything up and I must have missed out on whatever it is, or was. (Which wouldn’t be the first time.)
I did find a Python script called ext4ract which apparently pulls files out of an ext4 filesystem, but it doesn’t seem to be a hugely well-known tool and I’m not sure how it’s relevant here.


DuckDuckGo is my default engine. It assumed I meant “extract” and gave me a dictionary definition along with links to download WinZip and WinRAR. When I told it I actually meant what I typed, it put it in quotes and returned no results.
It was not obvious that I should have omitted the X and the T.
What I apparently didn’t do was try Google afterwards, and I’m a little disturbed that I didn’t. Adding !g to the search in DDG is usually the first thing I do when it can’t find anything, but my browser history suggests I didn’t do that.