T theverge.com Lin-Manuel Miranda is now fighting ticket bots across the US 8 points jerryhuang100 10 years ago 1 comments