* Reduce splashscreen to 2.5 seconds.

* Also update about.html credits.