Some lesser-known details about the Broadway smash musical that will soon be available to stream from the comfort of your quarantine couch