All of this and more entered my mind the very moment I learned that Microsoft had acquired GitHub.