A friendly tip for anyone testing out this project as of the time of this post (September 19, 2024).
If you are running an older 1.8.x version of Arduino, do NOT install a version of the STM32 board support package newer than 2.7.1 or else the 'Port' sub-menu under the 'Tools' menu in Arduino will become grayed out and you will no longer be able to select a port for any board including non-STM32 boards. No idea what causes this exactly but it's an issue between STM32 board package version 2.8.0 and newer, and the older 1.8.x versions of Arduino. Staying with version 2.7.1 or older of the STM32 board package is the solution for now.
This does not appear to be an issue when running Arduino IDE 2.3.x.