- This dialog allows you to change settings for the current session. These settings
- are initially set from the template used to create the session. To open the dialog
- use <kbd class="menu">Session > Properties</kbd>
+ <dfn>Session properties</dfn> control aspects of the workflow or
+ configuration that pertain to the current session only; these settings are
+ initially set from the template used to create the session. They can be found
+ in <kbd class="menu">Session > Properties</kbd>, and are stored in the
+ session file.