Risa

I don't remember, no. But yes, that's the documentary. They also come up with a hypothetical first episode of a series taking place 20 years later.