Full threadsadhen·I've tuned default font for Korean for GNU TeXmacs 2.1I wonder if there are any Korean GNU TeXmacs users browsing Hacker News.View on HN