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

checkedc#930 .

Generated for the purpose of displaying which commits of
pr-to-microsoft-202102 represent new changes.

Author: mattmccutchen-cci