said by Ctrl Alt Del:
Windows never has explorer end with an all Caps file extension like that
No, of course it doesn't... except on quite a few systems I looked at:
U:\>dir %systemroot%\explorer*
Volume in drive C has no label.
Volume Serial Number is 50C7-B05B
Directory of C:\WINNT
05/08/2001 08:00 242,960 EXPLORER.EXE
05/08/2001 08:00 80 EXPLORER.SCF
2 File(s) 243,040 bytes
0 Dir(s) 34,483,646,976 bytes free
OK, so the message said "Explorer.EXE" and not "EXPLORER.EXE", but I can think of at least one explanation, which doesn't require that the file on disk be named "Explorer" and not "EXPLORER". But that's beside the point.
If you mean to suggest that "Explorer.EXE" is not
the Windows Explorer, then I see no evidence for that.