How did you find about the change of gmane domain?

I had to read this article:
https://lars.ingebrigtsen.no/2020/01/15/news-gmane-org-is-now-news-gmane-io/

Now it is news.gmane.io

regards