STM32 Bluepill problems and questions with Mbed Os

Hi! Recently I started playing with bluepill and mbed os.

It looks like there are few problems with this.

Problem 1. I found, that when I build with debug and RTOS enabled, compiled binary does not fit into flash. Problem solved by adding extra_scripts = add_nanolib.py to platformio.ini and add_nanolib.py:

Import("env")
env.Append(LINKFLAGS=["--specs=nano.specs"])

Why it’s not default for bluepill? What downside does it have?

Problem 2. I have a problem with unreliable can bus described here:

Any ideas how to diagnose and fix this?

Problem 3. Currently (ststm32 8.0.0) uses mbed 5.15 for bluepill, but there is community effort for mbed os 6.2 here:

What is the proper way of using bluepill with mbed 6.2 and platformio?