Comment by RealityVoid

I was curious as well, I dug a bit and I found this:

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://github.com/cmuratori/

https://caseymuratori.com/