(ARM-4) Update ARM 4 Heredoc to 2.0.0

This concludes a series of edits fixing details in the text to make it
use the new template and describe how the reference implementation
works.