The board image links again: sources are no longer embedded by default on esp32p4

uzksuumxruzr turned -Dembed-sources on for esp32p4 (before it, the board
was the one build without them). The sources are ~1.8 MB against a 1.5 MiB
app partition, so the object built but the firmware did not link:
.flash.rodata overflowed by 786392 bytes and .flash.text by 1732312.
Default off everywhere; -Dembed-sources=true still embeds them.
Without them the image is 1459760 B, 113104 B under 1.5 MiB.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

3 files changed, 7 insertions, 4 deletions

diff --git a/build.zig b/build.zig
index 4a478ac5..b3382d4b 100644
--- a/build.zig
+++ b/build.zig
@@ -109,7 +109,9 @@ pub fn build(b: *std.Build) void {
     ninep_options.addOption(bool, "quic", enable_quic);
     const enable_mupdf = b.option(bool, "mupdf", "native PDF rendering with MuPDF (AGPL/commercial; native default on, web/esp32p4 off; -Dmupdf=false disables)") orelse !freestanding_core;
     const enable_jpx = b.option(bool, "jpx", "JPEG 2000 in PDFs, for scanned documents (default on; -Djpx=false drops openjpeg)") orelse true;
-    const embed_sources = b.option(bool, "embed-sources", "serve the editor's own sources under /src of its 9P tree (default off; on for -Dplatform=esp32p4, whose only source is the device)") orelse is_esp32p4;
+    // Off on the board too: the sources are ~1.8 MB, more than the whole
+    // 1.5 MiB app partition, and with them the image does not link.
+    const embed_sources = b.option(bool, "embed-sources", "serve the editor's own sources under /src of its 9P tree (default off; the esp32p4 image has no room for them)") orelse false;
     const is_web_target = target.result.cpu.arch == .wasm32 and target.result.os.tag == .freestanding;
     const is_esp32p4_target = target.result.cpu.arch == .riscv32 and target.result.os.tag == .freestanding;
     const optimize = if (is_web)
diff --git a/docs/config.md b/docs/config.md
index 0332d854..a9db1467 100644
--- a/docs/config.md
+++ b/docs/config.md
@@ -556,7 +556,7 @@ while unset. `Motion` sets how every such effect moves: see docs/effects.md.
 `EffectCode PanelAscii` or `EffectCode Crt` lists the current backend's
 build-embedded source paths under `/virtual`. Look opens each full file;
 no checkout is needed, but the build must carry them (`-Dembed-sources=true`,
-the default only for esp32p4); otherwise the command reports them unavailable. TTY exposes grid transitions, native GUI builds also
+off by default); otherwise the command reports them unavailable. TTY exposes grid transitions, native GUI builds also
 expose scene shaders, and web has neither. Shared implementations share paths.
 SDL reports whether GLSL was compiled during this build or came from the
 `-Dprebuilt-shaders` snapshot paired with the committed SPIR-V.
diff --git a/docs/fs.md b/docs/fs.md
index 45b04675..27a36248 100644
--- a/docs/fs.md
+++ b/docs/fs.md
@@ -645,8 +645,9 @@ Fid), released on close or disconnect; past that such an open fails with
 `-Dembed-sources=true` embeds the editor's sources and serves them under
 `/src` (and `/shaders` on GUI builds). `EffectCode <effect>` lists the current
 backend's implementation files under `/virtual`, which Look opens; without the
-option the command reports the sources as unavailable. The esp32p4 build
-enables the option by default, so the device can serve its own source.
+option the command reports the sources as unavailable. It is off by default
+everywhere; the esp32p4 image in particular has no room for them (~1.8 MB of
+source against a 1.5 MiB app partition).
 
 This is a control filesystem, not a complete POSIX export. Native filenames
 may contain up to 255 bytes. Existing regular OS files support read, write,