There's a difference between product names for marketing and version numbers used in development.