Thanks for reaching out. There is currently a bug that is preventing the mini-calendar day names from using their “short” names like expected in some cases.
We’re working hard on a fix for this, and hope to have a release with a fix out in the coming weeks.
I’m sorry about this bug! Please let me know what you think and if there’s anything else I can try to help with.