Yes, they settled and are under licensing agreements. There are publicly delivered PRs that support this as news.