Bug 254982 renamed every instance of "Options" to "Preferences" on Linux and Mac, following the Firefox UI. But we also need to adjust the toc and index. I'd also like to hide "Help for Internet Explorer Users" on Linux. From bug 254982 comment 7: > The only bad part of this is that it won't fix the ToC and index, but > that's part of another bug and can't be fixed with this method. Neil, do you happen to have an idea?
*** This bug has been marked as a duplicate of 254992 ***
Bah, I searched in Help Documentation, not in Help Viewer.