[RamblingCTO]

You're right! I read (in the original article?) that it wasn't completed yet, but it was:

> The acquisition was completed on June 23, 2023.