I downloaded v3.0 version from the link provided in your post, and it definitely says reDux0, so yes I guess?
Edit: checking folders, it seems I moved out the main patch folder, not DLC patch. My bad. With DLC patch out this time, the game properly boots with the main patch now. I still have no...