We had to fix the WS2812 example a bit:
1. Add boot workarounds.
2. Set pin to output.

It doesn't work in the main program, yet - presumably because it
doesn't feed the PIO fast enough without DMA.

Issue was reported by 0fr0.

old: orange means "it is too hot"
new: orange means "we need more heat"

This matches my new intuition (based on looking at the display rather than thinking about code) and secret agrees.

We needed a simple PWM controller at Camp and this board was available...