Arm Mbed OS quick start - wrong information

Hello,

Pages below still list information about the Online compiler that is no longer available.

Very confusing for newcomers and os on.

BR, Jan