Input methods for Unicode characters in editors and the shell | Hacker News Reader