@paulrobertlloyd I had this same conversation about month abbreviations at work a few years ago. We came up with the best compromise:

9.

🤣