Even before everyone knew his name (thanks to Hamilton), Lin-Manuel Miranda had a rather dedicated Twitter following.