Use `<b>...</b>` HTML tags to achieve bold text in HTML files.
Use `<b>...</b>` HTML tags to achieve bold text in HTML files.

These places were using `**...**`, presumably thinking they were Markdown files.

PiperOrigin-RevId: 390483000

perezd/bazel,cushon/bazel,perezd/bazel,bazelbuild/bazel,ButterflyNetwork/bazel,perezd/bazel,cushon/bazel,ButterflyNetwork/bazel,cushon/bazel,katre/bazel,perezd/bazel,bazelbuild/bazel,perezd/bazel,bazelbuild/bazel,perezd/bazel,cushon/bazel,ButterflyNetwork/bazel,cushon/bazel,bazelbuild/bazel,katre/bazel,perezd/bazel,ButterflyNetwork/bazel,ButterflyNetwork/bazel,cushon/bazel,katre/bazel,katre/bazel,katre/bazel,katre/bazel,bazelbuild/bazel,bazelbuild/bazel,ButterflyNetwork/bazel