The file extension has to be specified when using Load("file.cytnx"), but must not be added when calling Save("file"). This is confusing and inconsistent.