Trace menu commands

The Trace menu offers the following commands:

Edit Edit.
Reserved edit Reserved edit.
Force edit Force edit.
Unedit Unedit.
Add a Watch Add a Watch.
Remove a Watch Remove a Watch.
Release Release.
Watchers Watchers.
Editors Editors.
Unlock Unlock.