Remove the page for Lin-Manuel Miranda alt?

We'll delete the profile at /lin-m-miranda and stop researching this handle in the future. If this is your page and you'd rather take it over, you can claim it instead.