Interesting. So one way to interpret current situation is that Github is "trapped" by its open source offering. This will likely have implications soon on what they do or the direction of open source...