Gordon fixed this a while ago - it now uses SPI3, leaving the option of using SPI1 to drive the WS2812's off pin A7.
Software SPI doesn't help you - you need to be able to set the baud rate to control the WS2812's, but software SPI doesn't support that.
@DrAzzy started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Gordon fixed this a while ago - it now uses SPI3, leaving the option of using SPI1 to drive the WS2812's off pin A7.
Software SPI doesn't help you - you need to be able to set the baud rate to control the WS2812's, but software SPI doesn't support that.