Lin-Manuel Miranda stars in “His Dark Materials.” (HBO)

Lin-Manuel Miranda stars in "His Dark Materials." (HBO)

Lin-Manuel Miranda stars in “His Dark Materials.” (HBO)