For some other Arm 32 mcus I can download one official Development IDE.
For STM32 I get many shown.
Is OpenSMT32 good or what else?
What is an "official Development IDE" ?
Actually, many silicon providers make lousy IDEs, or ship with branded Eclipse+GCC bundles.
OpenSTM32 is one of the latter.
Just use what you best get along with.
SW4STM32 is an Eclipse IDE. GCC free compiler and support all STM32.
If you're already a user of Eclipse environment, I recommend it.
You will find on the community the following posts:
Become a SW4STM32 (System WorkBench) master
and my post
Make an Eclipse project "Portable"
Retrieving data ...