Well, it looks like someone has silently updated the website to point to
#sagemath instead of #sagedevel. Thanks, whoever it was!
As for info about the mailing lists, there seems to be a more comprehensive
list at http://sagemath.org/development.html , but I don't know after that
was updated af
> P.S. If anyone has access to the sagemath.org website, could you
> please updatehttp://sagemath.org/help-irc.htmland the related pages
> (such as the Java IRC client) to send users to #sagemath instead of
> #sage-devel ? That would be great.
As a followup to this, now that Google Groups has got
