3 ms·

Fwiw: 'Bram Moolenaar has died', https://news.ycombinator.com/item?id=37011324 https://news.ycombinator.com/item?id=37011324