The message function on HOL is not compatible with Chinese characters. When transmitted, they appear as ???. Impacts my ability to communicate with my students in the target language.