Pi Web: IBM Carbon icons (piweb/hf-design.patch)

Dockerfile

@@ -31,7 +31,7 @@ RUN chmod 755 /usr/local/bin/git-credential-huggingface \
  && git config --system credential.https://hf.co.helper /usr/local/bin/git-credential-huggingface
 
 # Pi Web 0.12.1 with the "Pi Web on Hugging Face" design (piweb/hf-design.patch: Geist type,
-# the pi mark, borderless components, a sidebar slot for the gateway's workspace menu), built
+# the pi mark, IBM Carbon icons, borderless components, a sidebar slot for the gateway's workspace menu), built
 # from its release tag and installed as its npm package would be. The patch is the diff of
 # the hf-design branch in the project's pi-web-hf/ worktree; nothing else is changed.
 ARG PI_WEB_VERSION=0.12.1

README.md

@@ -19,8 +19,8 @@ it. It contains no secret.
 What is inside:
 
 - [Pi Web](https://github.com/agegr/pi-web) 0.12.1 and the pi coding agent, built from the release tag with
-  `piweb/hf-design.patch`: the "Pi Web on Hugging Face" design (Geist and Geist Mono, the pi mark, borderless
-  components, quieter session rows) and a slot in the sidebar footer for the gateway's workspace menu
+  `piweb/hf-design.patch`: the "Pi Web on Hugging Face" design (Geist and Geist Mono, the pi mark, IBM Carbon
+  icons, borderless components, quieter session rows) and a slot in the sidebar footer for the gateway's workspace menu
 - Node 22, Python 3, uv, git, git-lfs, build tools, ripgrep, fd, jq, zstd
 - the `hf` CLI (`huggingface_hub` 2.1.1) and the Hugging Face agent skills in `~/.agents/skills`
 - `sandbox/hfpi.mjs`: the supervisor that restores the user's projects and sessions from their bucket, runs Pi Web,