We do have complete output in Japanese and Chinese, though
not the TOC or glossary. We tried it one day, despite numerous
warnings that it wouldn't work, and lo, it did. So we figured
Korean wouldn't be a problem either. The translators know even less
about Roboengine than I do, and only as much about RH as they need
to type over the English, so I know they didn't do anything tricky.
It's possible the developer in charge of publishing did, but it was
so long ago, no one remembers. And we can't upgrade, bc after this
year we won't be using RH anymore; but meanwhile, we need the
Korean. 😛