consistent use of sphinx constructs for user interface elements #5
Description
it would be good to consistently use the sphinx semantic elements for user interface elements: http://sphinx-doc.org/markup/inline.html#other-semantic-markup
particularly when referring to GUI labels and menu selections.