Document: set the mimetype when setting the filename
This makes scripts like:
from krita import * d = Application.createDocument(100, 100, "test", "RGBA", "U8", "") d.setFileName("test.kra") d.save()
work.