Powering a peripheral using STM32WB5MM-DK
This might be a dumb question but can the STM32WB5MM-DK power a 3.3V peripheral device?
This part of the user manual makes it sound like the whole Arduino shield should not be used to supply any sort of power:

Yet according to this table, pin 4 should be able to do what I need

