That's pretty awesome, I don't know if the two actions are related but if they are, it's really good to see the Chrome team:
1) Taking suggestions from sources like this so easily ("Hey, look what I just read on HN, we should do that!")
2) Implementing a change so quickly - most companies as large as Google can take days to approve a change in a product as widely used as Chrome. (I am aware that most users won't use the developer tools, but with any added functionality comes an added unforeseen bug.)
https://plus.google.com/u/0/+GoogleChromeDevelopers/posts/64...
Anything else you'd like from them while you have their ear?