Most of the STM32 demo boards have an ST-Link programmer ... I understand it is on the Arduino menu on the Mac). You need this same preferences dialog for step two, also. Step 2 isn’t strictly ...

Why, indeed? Definitely, one could use any of the existing frameworks to program an STM32 MCU, whether the ST HAL framework, plain CMSIS, or even something more Arduino-flavored. Yet where is the ...