[solved] 1v62 - problems with flashing and espruino kind of bricked now

Thanks! I've just updated those docs.

The -k switch is actually a workaround for the bootloader that ships on rev 1.3 boards (it's not needed on others). Due to a silicon errata the USB is unreliable at lower clock speeds, so there's a bit of hacking around needed to increase the USB clock speeds and make it reliable.