It actually took me a while to understand that the announcement likely meant that they had acquired Semmle...