Use "labels in quotes" for menu items, buttons and tabs, not preformatted text

[bencomp]

This is a chore, but I think an important one. The lesson style guide explains how to mark up various types of things we talk about.

One issue I see is that menu items, buttons and tabs (and other UI elements) are referred to by putting their labels in backticks. Backticks are for spans of code.

Menu items should be in double quotes (or "smart quotes" even), and I think the same should go for buttons and tabs. This helps distinguish menu items from text that needs to be typed, or that is literal text from the dataset. Menu items and submenu items should be separated by a single > too.