How to use STM32 boards with Arduino IDE and how fast are they? (incl. surprize)

In video #345 I asked the question whether the ESP32 or the STM32 Bluepill is the better choice. The video created quite some controversy, mainly b...