What bit timings are used for the WS2812 LED output? It would be helpful to add this information to our documentation.