Merge pull request #1 from scf32/master

Example illustrating PR vs non-PR
Undid local edit of regen_verification.sh
Merge pull request #2 from scf32/doc-update

Merged doc update