doc: Minor improvements to stencil_instructions