According to this page on setlocal Windows batch command, Command Extensions are enabled by default. Are there any Windows systems where it is not enable by default? Do I really need to explicitly include setlocal EnableExtensions in any of my batch scripts?