Hi guys, we are really thankful for your contributions and comments. Both of you are valued and active members of the community. However, this thread is getting unnecessary heated. Clearly there are areas of opportunity in how we name things. It can be definitely confusing to have the same name for a dev environment that is necessary for contributing (and includes Prophet) and a regular environment that does not include prophet. I think this discussion makes this clear. We will think about how to make this clearer.
We are only as strong as our community, and both of you are very active and valued. Please keep up the good work.