Update MathLAN instructions.