Maybe they shouldnt have wasted the last 10 PRs on fluff, so they coulda put all this into one. This is the best news we've had in months, and its 40 tweets to 40 twitterers.