Hi Jari,
Thanks for sending these over.
(1) I love the change for the unused stars. That looks much cleaner.
(2) I may be biased (since I think I implemented that?) but I actually prefer the big logo. Or to say it differently - the logo in your alternative is way too small for my liking. I think something more in the middle between those two might make sense. The explanatory text certainly is not a bad idea.
(3) I like the vector graphics dive flag
(4) having the different dive flags as an option may seem like a small change, but it's actually quite significant. This adds UI overhead and more importantly it changes internal data structure and both XML and git storage formats. These kinds of changes should only be made for a "very good cause" - and since out of about 35k users you are the first one to ever suggest that this was useful, I'm not convinced that this is worth the cost.
So my responses would be YES, maybe? with some changes?, YES, NO.
Others, please chime in!
Thanks again for your work on making our UI better!
/D