Missed this the other week , RIP Bram. https://www.theregister.com/2023/08/07/bram_moolenaar_obituary