Is Neville named Neville in the bookverse? In the 1993 film he's an old man and named "John."

One of the things I love about the musical is the way that Dr. Craven is characterized, with just the right amount of angst. I remember Dr. Craven in the bookverse as being, well, rather forgettable.

(I remembering reading the Yuletide story of which you speak, of course.)