Blue Pill serial via stm core does not appear to work

I believe that with USB support enabled, it will be the USB CDC connection that is called "Serial", and you'll have to find a different name for the USART Serial (probably "Serial1" ?)