We can check if a hex file is MakeCode by looking at the magic number on the UICR. This can then be used by the Python Editor to inform the user.