> I could also use the 2 first bytes of a file and determine if the file > is a binary because on Windows, the executable files start with b'MZ'. Is .bat executable?