I checked the archived schedule.json files, and he was never in there.
From:
https://tilde.club/~gg/wn-archive/2026/10/12_11%3A01.json
to:
https://tilde.club/~gg/wn-archive/2026/10/13_14%3A01.json
...and everything in between, they could have put him in, but they didn't.