Ahhhh, OK. Your computer is probably set to not show file extensions. So therefore the file might have been named 'NoSplashScreen.txt.txt' with the last '.txt' hidden.
For me that's a very scary "feature" of windows, only partially addressed by rules for file execution and malware testers.
I often wonder how many Windows PCs have been infected by someone blithely clicking on a file, the real name of which is really ReallyCuteKitten.jpg
.exeAnd Windows ships by default with file extensions hidden!