On Twitter just now, Lin Manuel Miranda explained what he gave up so DisneyPlus would rate the "Hamilton" telefilm PG-13 instead of