I had to redefine LED_BUILTIN for my Blue Pill sketch:
#undef LED_BUILTIN
#define LED_BUILTIN PC13
Is it merely a bug, or some obscure configuration lost? Tools settings of Arduino IDE 2.2.1 for the Blinky certainly got lost; I restored them manually. Or I think I did
