Hi Reza.
I never thought of MicroProfile as a fork of Java EE, and if the MicroProfile community wants to merge with Jakarta then that would be great and I will support that. Even in that case,
I believe removing the brand from the namespace is an idea worth considering.
If we look at where we came from, J2EE that was re-branded to Java EE. Because we did not use j2ee in the namespace of the API and specification, that re-branding was fairly easy. javax namespace was/is used for more that just J2EE / Java EE. (MVC , JAXB, JCache etc).
Now we might think that we will never rebrand in the future, and that might be true. But these things happen (think wildfly-swarm to thorntail) and not coupling the brand to the namespace does give you a bit more options.
Maybe what you are saying is that Jakarta is that space, and there is a distinction between Jakarta and Jakarta EE. Then fair enough, so we need to start moving MicroProfile over to the Jakarta namespace. I would still argue that having a brand like Jakarta and then Jakarta EE 'product' will confuse developers in the future and we will continue to have to explain the difference, as these names are very similar. Kind of like explaining that Eclipse (IDE) is not the same as Eclipse Foundation.
Anyway, it was just an idea. Happy to leave it alone. I felt like speaking up as the rename is happening now and it's now or never. If it's a bad idea, no problem, let's move on :)
Cheers.