splash.ai contains the splash screen. 
After exporting it to png, one needs to resize it to 546 x 340 pixels.
