lens0021
If you're okay with ibus-hangul, you can configure the keyroard shortcut for Gram.

Click "Add" and press "한/영" key on the keyboard.
ibus
All Korean keyboards, including the one on my LG Gram (which is a Korean model), have a dedicated key for switching between English and Korean (the "한영키"). Everyone who isn't technically inclined uses this key. Using Ctrl + Space is a bad user experience.
I want to read more, but sadly curl is the only article on the site.
All eight current high school Korean history textbooks describe the Jeju April 3 Incident with an average of over one page of content. -- https://www.jejusori.net/news/articleView.html?idxno=435552
Maybe I just forgot, but one page is to hard to remember. I graduacted high school ~15 years ago.
I have edited my comment. The public should do pay attention. At least the government, politicians, or mass media should. The most famous thing from the island currently is its fruit. Thank you for sharing this link because it made me visit the article.
I am Korean living in Korea and this is a not well-known massacre even in Korea. I just heard the public does not pay attention to this though they should. (I am the one of public)
weeklyOSM reported about CoMaps several times. https://weeklyosm.eu/archives/17824#wn769_32644 https://weeklyosm.eu/archives/17861#wn772_32753 https://weeklyosm.eu/archives/17885#wn773_32806
I believe all you already read the reply from the devtools team lead https://github.com/rust-lang/rustfmt/issues/6678#issuecomment-3382819708
I assumed an ordinary person. My parents use the "한영키" to switch between Hangul and the alphabet. While I'm geeky enough to configure my Caps Lock key to function like that switch, most people wouldn't even imagine that functionality is configurable.