Rosh Hashanah remix to the Muppets’ ‘Mahna Mahna’