Title changes are a perennial point of friction. Much time and energy by many parties has been spent over months debating and analyzing it.
Why not just implement a title history feature? Mods can change title, then users can click a link to show title history.
For extra points, you could make the title history page a poll/voting system which allows users above n karma, registered for x months to vote on their preferred title. Top voted title after y votes and z time after initial title change is what's used.
I think printing it as "OS X 10.10" is just a shorthand for "OS X (10.10)", which is necessary since combining roman numerals and digits (i.e. 'OS X.10') is awkward. You would still say it as "Oh ess ten point ten."
Why not just implement a title history feature? Mods can change title, then users can click a link to show title history.
For extra points, you could make the title history page a poll/voting system which allows users above n karma, registered for x months to vote on their preferred title. Top voted title after y votes and z time after initial title change is what's used.