If they are so obsessed with details, how did they miss that some people need bookmarks star, but not the bookmarks menu button. For some (I'm sure completely arbitrary) reason, it is impossible to decouple these two buttons in Firefox, so instead of a little star in URL bar you get a honking huge two button combo that takes like 6 times as much space (which is even more limited in Australis since no addon bar).