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.

- notch back to 0.4 mm (from 0.3mm)
- make lower part of outer wall thinner by 0.1mm (0.5 mm -> 0.4mm)
- move inner wall in by 0.1 mm
- move outer wall out by 0.2 mm

version 1: InnerClampWidth = 2.2 mm  -> needs lots of force to mount&unmount
version 2: InnerClampWidth = 2.3 mm  -> t.b.d.

- ahorn suggested that a chamber would let tall people better see the display
- reduce total thickness a bit (no need to completely cover the screws
  but keep it thick enough to guide the finger along the touch surface)
- optimize cutouts for electronic parts to keep enough distance to top
  layers
- try to make foil in front of the display even thinner

Issue was reported by 0fr0.

I'm not sure whether there are any real changes or only autosave...

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.

Flake lock file updates:

• Updated input 'nixpkgs':
    'path:/nix/store/0ljv28gdwhlfm9629qaxg95g04jzcf9j-source?lastModified=1670009809&narHash=sha256-yt/dQ32Vz4WenDLu4XeHbnXFxiHbTcnU0WwiLW5Ce6c%3D&rev=660e7737851506374da39c0fa550c202c824a17c' (2022-12-02)
  → 'path:/nix/store/z0513hax0dsbix0x89wr7fca8sa99sxc-source?lastModified=1702233072&narHash=sha256-H5G2wgbim2Ku6G6w%2BNSaQaauv6B6DlPhY9fMvArKqRo%3D&rev=781e2a9797ecf0f146e81425c822dca69fe4a348' (2023-12-10)