So what you might be seeing online with names like "Red Dead Redemption PPSSPP Highly Compressed" are almost always: