@1
'Extend' attaches a new annotation to an increment and
activates an emacs-like text editor for entering the
annotation's content. The text of this annotation may
consist of more than one line. It has to start with
"(*" and end with "*)" like the following three lines:

 (* This is the first line of a legal annotation. *)
 (* This is the second (* one *).                 
    The third line is the last line.              *)

Use "SHIFT-RET" to acknowledge your input and to leave
the emacs mode and use "SHIFT-ESC" to escape out of
the emacs mode without causing any modifications of
the current document. Press the "Help" key within the
emacs mode for any further information about key
bindings etc.

Be aware of the fact that the system's multiple-entry
parser is not always able to guess, to which logical
increment an annotation belongs to.

--> 'Modify', 'Cut', 'Copy', 'Paste'
@2
'Modify' must be used to modify an annotation and it
activates an emacs-like text editor on the annotation's
content for this purpose (right-mouse-button selection
of a comment also activates this command).

Use "SHIFT-RET" to acknowledge your input and to leave
the emacs mode and use "SHIFT-ESC" to escape out of
the emacs mode without causing any modifications of
the current document. Press the "Help" key within the
emacs mode for any further information about key
bindings etc.

--> 'Extend', 'Cut', 'Copy', 'Paste'
@3
'Cut' removes the current annotation and saves its
text within a Cut&Paste buffer. Use 'Paste' to re-
insert the annotation into any document.

Be aware of the fact that all editors use the same
Cut&Paste buffer and that 'Cut' (and also 'Copy')
overwrites the previous content of the buffer.

--> 'Copy', 'Paste'
@4
'Paste' is the inverse command to 'Cut'. Provided that
the Cut&Paste buffer's content starts with "(*" and 
ends with "*)", 'Paste' attaches this content as a new
annotation to the current increment.

'Paste' does not delete the content of the Cut&Paste
buffer!

--> 'Cut', 'Copy'
@5
'Copy' saves the current annotation's text within
a Cut&Paste buffer. Use 'Paste' to insert a duplicate
of this annotation at any increment in any document.

Be aware of the fact that all editors use the same
Cut&Paste buffer and that 'Copy' (and also 'Cut')
overwrites the previous content of the buffer.

--> 'Cut', 'Paste'
