docs(13): 子集与零 libc 档是组合关系,不是互斥

[Sunrisepeak]

#466 的这一章里有一句断言,被同一个 PR 带来的 feature 推翻了:

⚠️ std-freestanding 与 std-freestanding-nolibc 服务于互斥的安排 …… 处在零 libc 档的工程根本用不了子集。

std-freestanding 0.4.0 的 nolibc feature 让子集在零 libc 档可用,实测 103 个头里的 94 个。那句话描述的是 0.4.0 之前的状态。

改了什么

• 把「互斥」改为「组合」,并写明成因:libc++ 的 C 头包装头靠 #include_next 续到真正的头去取 size_t、mbstate_t、time_t 与 EOF;没有 C 库时这条链无处可续,于是死在缺类型上而不是缺头上——这正是从报错看不出成因的原因。
• 补上板级支持包也能服务这一档(riscv-virt-rt 0.5.0 的 nolibc feature)。
• 静默替换那条警告保留,但范围收窄为「直接把 std-freestanding-nolibc 与 C 库并用」,而非经由该 feature。

中英双份同步;check_docs_style.sh 通过。