Committing changes from accepted public comments

(On techniques and understanding docs.)