S P L A S H_ S C R E E N_ T I M E O U T
Duration of the display of the splash screen.
This should be set to a value less than 3000 ms, per the recommendation of Campbell (2018): https://uxdesign.cc/building-the-perfect-splash-screen-46e080395f06.