I'm also affected by the bug. I'm not sure if untexing the .tex files is wise anyway -- I recently found myself searching for LaTeX commands for which I've long forgotten the syntax , knowing that I used them in an old document.
I'm also affected by the bug. I'm not sure if untexing the .tex files is wise anyway -- I recently found myself searching for LaTeX commands for which I've long forgotten the syntax , knowing that I used them in an old document.