RIP Bram. Thanks for creating the best text editor the world’s ever seen!