Add documentation for state machine

See e3-dtlskid!9 (merged) for an example.