I don’t think I ever actually saw a full-length Robin Williams stand-up set. His abbreviated bits on talk and variety shows were entertaining, but I could see a longer, non-highlight run being kind of exhausting. Definitely picking his best stuff out of 16 hours of riffing seems like a winning approach.