>> I attach the updated patch, in which I included your other suggestions. > > Thanks, this LGTM, but I wonder whether we should use \\[foo] instead of > a literal `foo' in the doc strings, since users are likely to use the > key sequences, not the command names. > Thanks, see attached.