For what its worth, they do seem to patch the documentation as well: https://salsa.debian.org/toolchain-team/gcc/-/commit/2f9aefe0591fde4386985f2d3da2f9a403c3a

For what its worth, they do seem to patch the documentation as well: https://salsa.debian.org/toolchain-team/gcc/-/commit/2f9aefe0591fde4386985f2d3da2f9a403c3a465 https://salsa.debian.org/toolchain-team/gcc/-/commit/2f9aefe...