Baud Rate on ESP8266

9600 is actually surprisingly usable - I know it seems like it wouldn't be :)

The ESP8266 port should really honour the default baud rate option in BOARD.py though:

• https://github.com/espruino/Espruino/blob/master/boards/PICO_R1_3.py
  
• https://github.com/espruino/Espruino/blob/master/targets/stm32/jshardware.c#L975
  
  

At least then it's relatively easy for people to change - and also if boards aren't going to use 9600 by default we can make sure that every board reference page accurately reports what the default baud rate is.