I was curious as well, I dug a bit and I found this: https://github.com/cmuratori/refterm https://github.com/cmuratori/refterm I think he just went ahead and

I was curious as well, I dug a bit and I found this: https://github.com/cmuratori/refterm https://github.com/cmuratori/refterm I think he just went ahead and created a completely different terminal. Also, some background, the original raiser of the PR is Casey Muratori, of Handmade Hero fame: https://www.youtube.com/channel/UCaTznQhurW5AaiYPbhEA-KA https://www.youtube.com/channel/UCaTznQhurW5AaiYPbhEA-KA https://github.com/cmuratori/ https://github.com/cmuratori/ https://caseymuratori.com/ https://caseymuratori.com/