(Tangent — I actually scheduled an interview with Dave, but this was in the pandemic turmoil period where I ended up putting the podcast on hiatus because doing interviews was too stressful. So now the show is back in a much more manageable format thanks to @Jimmy Miller, but having guests on the show still presents all the same downsides as before, so it remains to be seen what we'll do. It's something I'd like to do once in a while, and Dave would be fantastic, I agree!)