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 Nick Boldt 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