Need to check if product name is used correctly

Should the docs say devstudio or codeready studio in these 2 places? Also should it be capitalized as a product name?

1. https://access.redhat.com/documentation/en-us/red_hat_codeready_studio/12.12/html/installation_guide/assembly_upgrading-rhdevstudio#con_upgrading-major-versions-of-rhdevstudio

Sentence: For example, it is not possible to update a devstudio 10.x installation to 11.x...

2. https://access.redhat.com/documentation/en-us/red_hat_codeready_studio/12.12/html/release_notes_and_known_issues/issues

Line: JBIDE-26480: Missing org.eclipse.epp.logging.aeri.ide plugin in devstudio