Ah, I forgot to look in brackets-shell for pull requests. I didn't follow the progression of this story--is it the case that this didn't work for any files before, or did we just greatly expand the list of files for which it works? Looking at the pull request, it seemed like it should already have been working for HTML/JS files.