ProfessorTom on Nostr: Who runs noagenda.net these days? Did Tim Goudriaan give it up or is he still working ...

Who runs noagenda.net these days? Did Tim Goudriaan (npub1emp…gqhp) give it up or is he still working on it? I've seen voidzero (npub18me…whve) 's name on a lot of PRs lately.