Last update for Opera Developer has enabled bookmark manager, Opera has released an update for Developer stream today by changing its name from Opera Developer to Opera developer. Another name change is coming, any guesses? Opera Next could be Opera beta, we’re not sure.
"We decided to change the name of the Opera Developer stream to Opera developer. The change is small, but make more sense together with another change we will make in the near future." Przemek Kudła said in Opera Desktop team blog.
This update comes with fixes for bookmarks, MP3, H.264 and more. Opera is currently working to fix some known issues related to Web Notifications, you can find these issues and link for full changelog here.
Naming changes, small ones like these does really matter? Not for users, I think? What do you say?