now that you've "pushed out" these two GPIOs, you're encouraging me again not to stop and even though one half of me is resisting, so I decided to put the two LEDs on the front panel 
Well send us a picture if you do so, I'll add it to the documentation!
you write that the GPIOs are active at "low" level, so need an inverted buffer
I figured we would drive the led directly from the GPIO like it's done with LED1 on the bluepill board.
Yeah, - this can also be a good solution (like LED1 on BP) and the simplest, but limits the type of LEDs that can be used
I haven't even looked at how much the peripherals so far load the BP with something like 20mA / recom. I see 8mA as PIN
for example, most LEDs, and my favourite Lite-On blue LEDs have a voltage drop of 3 - 3.5V, which schema. is limited by the 3.3V PSU
so as I would put the LEDs on a mini PCB anyway for correct mounting, it doesn't take long to add a small circuit and power the LEDs from a 5V PSU base board + SN74LVC2G06
to avoid the need to fix the mini PCB, two 3mm LEDs would hold it in place