If the list seems a little quieter, it may because those that post & read using the nntp gmane.org server can't get to gmane.org at the moment. It appears that gmane.org name server (80.91.229.2) died: Name Server[from dns, ip resolution failed!]: NS2.NETFONDS.COM and ns1.netfonds.com has address 80.91.224.199 isn't responding.