Choosing the default text editor (2023) | Hacker News Reader