You’ve probably been there: you download a file, eager to open it, only to find it’s a .rar archive. Suddenly, your standard Windows unzipper throws its hands up ...