Everything about Trace — from the declarative protocol language to patterns and examples.
The XML language for protocol interpreters: overview, tutorial, complete element reference, patterns and examples.
Every Vim shortcut of the analysis UI: moving, searching, marks, the jump list, visual mode, copying and the Space leader.
Have an interpreter drafted from a protocol specification: how it works, what happens to the document, costs and limits.