You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "who does lin manuel miranda play in in the heights?" whose answer is Usnavi.
Each document should contain about 30 words, and these documents should contain useful information.

Query: who does lin manuel miranda play in in the heights
Useful Output:

Doc 1: At eight years old, Usnavi immigrated to New York from the Dominican republic. In Washington Heights, he runs a bodega with his cousin, Sonny.
Doc 2: While Miranda is not returning to Washington Heights as Usnavi, he does have a small role in the film as Piragüero aka the Piragua Guy.
Doc 3: While Lin-Manuel Miranda played Usnavi in the Broadway show, he appears in the movie as the Piragua man (piragua is a Puerto Rican dessert of
Doc 4: It was first staged in 2005 - with him in the leading role. He would go on to create Hamilton (still his biggest success by far), star in films
Doc 5: Miranda wrote the music and lyrics for the original production, and he starred as the story's young and restless narrator, Usnavi. This was