लिन-मैनुअल मिरांडा, एंथनी रामोस और हाइट्स कास्ट टॉक में टोनी अवार्ड-विनिंग म्यूजिकल को बिग स्क्रीन पर लाना