Yes, this is the group that broke away and established opensourcematters.org. As you say, Mambo will still be Miro. As the Joomla! "birth release" mentions, the products are very similar now except for branding, but differences will most likely increase as time (and development) goes by.
As far as the choice of names: When we reported this two days ago *cough* on our (Mambo based) tech website at texxors.com the article title was:
"Mambo core team of developers picks equally nonsensical name for new version"
(btw, we also suggested it to Slashdot at the time:)
Slashdot Mirror
Yes, this is the group that broke away and established opensourcematters.org. As you say, Mambo will still be Miro. As the Joomla! "birth release" mentions, the products are very similar now except for branding, but differences will most likely increase as time (and development) goes by.
:)
As far as the choice of names:
When we reported this two days ago *cough* on our (Mambo based) tech website at texxors.com the article title was:
"Mambo core team of developers picks equally nonsensical name for new version"
(btw, we also suggested it to Slashdot at the time