SSH - Bold mode

Hello,

I would like to request an option in the embedded terminal to render bold text using an actual bold font weight, the way PuTTY does.

Current behaviour: the Bold Mode setting offers "Change font", "Change colour" and "Change font and colour", but even with "Change font and colour" selected the glyphs are not rendered with a real bold weight. In practice bold text is only distinguished by the bold colour variants of the palette. Changing Font quality does not help, and the same happens with fonts that ship a proper bold face (Consolas, Cascadia Mono, JetBrains Mono).

Why it matters: bold is used heavily by real-world tooling - ls output, man pages, vim and other TUIs, prompts, log highlighting. Losing the weight distinction makes long terminal sessions noticeably harder to read.

Request: when Bold Mode includes "Change font", please load and render the bold face of the selected font family, falling back to synthetic emboldening only if no bold face exists.

Context: this used to work correctly when PuTTY was available as an external engine. With the PuTTY entry type now removed, the embedded terminal is the only option, so this gap has become more visible.

Thank you.
Marco Trapanese