WIP: Build doc update
build documentation (BUILD.md) fixes (typos, errors, broken links, clarifications) Prefixed with WIP to prevent CI but could be merged after review: no source modifications.
Maintenance operation of our GitLab server is scheduled for Thursday, November 28 at noon. The server will be unavailable for about two hours.
build documentation (BUILD.md) fixes (typos, errors, broken links, clarifications) Prefixed with WIP to prevent CI but could be merged after review: no source modifications.