It was the discussion at this Ask Ubuntu question:
https://askubuntu.com/questions/1449426/not-able-to-type-hangul-letters
which called my attention to this issue.
It was the discussion at this Ask Ubuntu question:
https:/ /askubuntu. com/questions/ 1449426/ not-able- to-type- hangul- letters
which called my attention to this issue.