The readme specifies the following command for compile.

mbed compile -t GCC_ARM -m [target] --profile release --app-config=configs/.json

This doesn't work because you need to explicitly specify the configuration file to use.

It would be of great help to the user to include an intermediate step that asks them to choose the flash layout and other configuration choices.

Background:
For Windows users, it is common to use Ctrl+C to copy text. If someone uses this command to try to copy text from the serial terminal window (example: coping the device ID), then it causes the client to deregister. This can be confusing.

Suggestion:
Use a less command command, such as Ctrl+X to trigger the deregister.

I have tested this, and it works.

        } 

According to the Mbed documentation socket.recv method should return NSAPI_ERROR_WOULD_BLOCK in case it non-blocking or timeout.

But if we check the code we can