Merge microsoft/master (as of now) with the original source commit of

checkedc#930 .

This is purely for the purpose of displaying which commits of
pr-to-microsoft-202102 represent new changes. We don't care about the
content conflicts.

Author: mattmccutchen-cci