diff/metics diff: update argument descriptions, et al.#3244

Merged

efiop merged 14 commits intotreeverse:masterfrom

jorgeorpinel:master

Feb 3, 2020

Commits on Jan 27, 2020

diff/metics diff: update argument descriptions
jorgeorpinel
committed

Commits on Jan 30, 2020

Commits on Jan 31, 2020

Commits on Feb 1, 2020