My mbed doesn’t work

Here follows some common tricks to get things working again.