冒頭の名前の由来おもしろい https://blog.jetbrains.com/writerside/2023/12/writerside-the-name-the-vision-and-plans-for-2024/