As Broadway and Hollywood made Lin-Manuel Miranda a household name, the Puerto Rican artist has used his fame and platform...