use Mathematica to edit the instruction doc