I should have clarified above, too: there were folks from GitHub, Microsoft, and Google working on the various fixes.
I should have clarified above, too: there were folks from GitHub, Microsoft, and Google working on the various fixes.