Comment by @cbiir • Hey

RIP Bram Moolenaar (1961-2023) 🕊️