Overview
If for you 18 minutes of end credits is a bit too long, I made a mod that speeds them up to 4 minutes.
How to
just go there and download the mod
[link]
follow the instructions on the page
I might make a mod that allows to simply not even have end credits though I get the feeling that simply renaming the file to no_credits.mp4 should do the trick
If you’re looking to remove the end credits (and intro logos at the same time)
this person made a mod for it [link]