Merge branch 'micheldeboer-master-patch-88984' into 'master'

HELP.md ldr has registers 3 as return register, this should be register 4. The...

See merge request !6

HELP.md

@@ -324,7 +324,7 @@ M_post[M_pre[SP_pre] + displ .. M_pre[SP_pre] + displ + size - 1] = M_pre[SP_pos
 
 #### Description
 
-Load Register. Pushes a value from a register. Registers 0, 1, 2 and 3 are called PC (programcounter), SP (stackpointer), MP (markpointer) and RR (return register) respectively.
+Load Register. Pushes a value from a register. Registers 0, 1, 2, 3 and 4 are called PC (programcounter), SP (stackpointer), MP (markpointer), HP (heappointer) and RR (return register) respectively.
 
 #### Pre and postconditions