Recent and upcoming DXR changes

[Erik Rose]

DXR's been taking patches at a healthy rate, both to the soon-to-land UI branch and directly to production. I wanted to give you an update on what we've grown since November—including some handy but subtle new features you might not have noticed—along with a preview of what's coming next:

https://blog.mozilla.org/webdev/2014/01/16/dxr-gets-more-correct-less-case-sensitive/

Thanks again for all your feedback; it's been primary in determining the direction of the project.

Cheers!
Erik