Doc infrastructure: Supporting documentation of continuations.