(qrm-4) Update ARM 2 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.