Bummer. I see now a bunch of people asked on this thread, but no response one way or the other that I see. I tried @'ing him just now to ask again, no idea if it will yield anything or not.

Anyway, the replies in this thread actually appear to have a lot of good stuff as well. Might be worth perusing if you haven't.

https://twitter.com/ID_AA_Carmack/status/1241219019681792010