That certainly helps reassuring what we were already thinking.

We're still doubting though whether we should go for option #2 or option #3. Because we still have a lot of great stuff that our developers produce (blog posts, experiments, open source) that could benefit a single brand targeted towards developers in general. It will be more difficult to share those "achievements" amongst multiple product brands.