Replaced title1.gif and title3.gif with their original DMIs
Created by: DeityLink
Since icon = file("[path][pick(filenames)]") works with dmi as well (if they have only one spritesheet) and the original splashworks dmi were laying unused in icons/misc/fullscreen.dmi, I took it upon myself to see if I could replace the low quality gif versions with the older higher quality dmis that I've known back in the days. Turns out it works perfectly.
On top of that since I removed the now useless fullscreen.dmi we're now actually 1 MB lighter (from the removed gifs).
smaller file size, higher quality, ring a ding ding!
here, have a before-after