Add control block definition and section comments to jump.S.
Tweak description in appendix.tex.