Selecting a tab
You do not have permission to edit this page, for the following reason:
You can view and copy the source of this page.
I think so. I feel that it is most logical to treat all named GUI element the same way. To most users buttons, icons, tabs and other elements that are directly visible are probably used more often than menu choices, so it seems they deserves to be highlighted as much as menu choices.