Clarified program counter behaviour.
Tweak behaviour of pushing the program counter to stack in control flow instructions.
Clarify division by 0 behaviour.
You can also use your local clone with git send-email.