gmane domain name has changed, now gmane.io instead of gmane.org

[stan]

If you depend on gmane for reading this list, you will need to change
the news server address you use from gmane.org to gmane.io.  See the
wikipedia page for an explanation, https://en.wikipedia.org/wiki/Gmane.