Yeah he dumped a fair bit about GOOL, the precursor to GOAL for Crash Bandicoot, but not a peep about GOAL. Funny to see this on HN because I was just looking into all of this yesterday. I wish these old games could get a source release so we could just see the magic. PS1/PS2 era Naughty Dog and Insomniac were on another level. The decompiled GOAL code that's available is neat but it clearly is the code after macro expansion and potentially other passes have been done so it's no substitute for the original source.