Thanks for reading! I have been thinking about making a pull request, but I'm gonna wait until the Seeed Studio's fork of Arduino Mbed core is merged to the main repo. Otherwise, we still need to manually replace the official framework-arduino-mbed package with their fork.