Initial editorial suggestions from T. Taft#1147

gusthoff merged 3 commits intomasterAdaCore/learn:masterfrom

sttaft_reviewAdaCore/learn:sttaft_reviewCopy head branch name to clipboard