That’s right. And for a lazy person like me, it’s easier to create a filter that corrects the GEDCOM file before import. I just created one in Python, with a little help from my chatty friends, that does most of the work, including converting long American month names to their official abbreviations. I need that, because the Gramps GEDCOM importer has no idea about the meaning of June, or September.
Note that the European numeric dates that we discussed earlier were user made.