--- "@jmfederico/pi-web": patch --- Add theme tokens, a theme picker, and built-in current/docs-inspired themes for the Pi Web UI.