Thoughts on different fonts for different languages in a text editor | Hacker News Reader