Ok, thanks again. Just scanning quickly the "cybersecurity" scenarios, it looks like we should hope for the international patent situation to be resolved asap in our favor.
Still unclear to me, though, where the GitHub acquisition is, in all this, other than Microsoft is in the buying mode, and will probably be more so with the tax cuts kicking in.