When people talk about file compression, they usually mean ZIP. In fact, they often make it into a verb–much like we “Google” things on the Internet, we “zip” files before sending them over email. But ...