motivate and explain parallel reduction, plus wordsmithing#1020

nrnrnr wants to merge 2 commits intoplfa:devplfa/plfa.github.io:devfrom

nrnrnr:explain-parallel-reductionnrnrnr/plfa.github.io:explain-parallel-reductionCopy head branch name to clipboard