mbed 5 on sw4stm32
Apart from being generally out-of-date - see http://www.openstm32.org/forumthread5355 - it appears that the User Guide instructions for importing do not apply to mbed 5.
The mbed-src library (which is now superseded by mbed-dev) mentioned in the User Guide - http://www.openstm32.org/Importing+an+mbed+program - is not for mbed 5
There does not seem to be a corresponding source library for mbed 5:
https://developer.mbed.org/questions/73250/mbed-OS-5-Source-Library/?c=27797
I tried following the instructions on that page, but the result would not even build in the online compiler!