origin/trunk-#5434 (Sep 8, 2025, 2:48:21 PM)

Started by upstream project parallel-build build number 5434
originally caused by:

• Started by GitHub push by gasche
• Started by GitHub push by gasche

• origin/trunk

1. document why sprintf still exists despite asprintf (details / githubweb)
2. rewrite doc comment (details / githubweb)
3. update comment according to @octatron's suggestion (details / githubweb)
4. Update stdlib/format.mli (details / githubweb)
5. Avoid an undefined variable warning from Make (details / githubweb)