As mentioned on 5x5 meetings, please rename binary files of developer studio installer to new branded CodeReady Studio. I am not sure about proper naming, probably codereadystudio or crstudio? As nickboldt mentioned in linked jira, should be crstudio.

Also, how about other places that contains old branded name?

• market place entry - https://marketplace.eclipse.org/content/red-hat-developer-studio
• download server - https://devstudio.redhat.com/12/
• binary files - https://devstudio.redhat.com/12/snapshots/builds/devstudio.product_master/2019-03-08_11-24-34-B4163/all/
• devstudio occurencies on developers.redhat.com - https://developers.redhat.com/products/devstudio/overview