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. 

Opera 25 Developer Update Enables the Bookmark Manager

"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.

Opera developer

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.

Opera 24 Developer Update Enables H.264 Video Support for Windows

Naming changes, small ones like these does really matter? Not for users, I think? What do  you say?